public Set<String> getPropertyIds() {
		return propertyMap.keySet();
	}
Returns the set of all Java property ids in this map
@return  the set of all Java property ids in this map
Ghidra/Framework/Gui/src/main/java/generic/theme/GThemeValueMap.java