public void putInt(String propertyName, int value) {
		map.put(propertyName, new Pair<PropertyEntryType, String>(PropertyEntryType.INT_TYPE,
			Integer.toString(value)));
	}
Assign the int value to the given propertyName.
@param propertyName name of property to set
@param value value to set
Ghidra/Framework/FileSystem/src/main/java/ghidra/util/PropertyFile.java