public int size() {
		return map.size();
	}
Return the number of properties in this GProperties
@return The number of properties in this GProperties
Ghidra/Framework/Generic/src/main/java/ghidra/framework/options/GProperties.java