public int getInt(String propertyName, int defaultValue) {
		Pair<PropertyEntryType, String> pair = map.get(propertyName);
		if (pair == null || pair.first != PropertyEntryType.INT_TYPE) {
			return defaultValue;
		}
		try {
			String value = pair.second;
			return Integer.parseInt(value);
		}
		catch (NumberFormatException e) {
			return defaultValue;
		}
	}
Return the int value with the given propertyName.
@param propertyName name of property that is an int
@param defaultValue value to use if the property does not exist
@return int value
Ghidra/Framework/FileSystem/src/main/java/ghidra/util/PropertyFile.java