public Set<String> getKeys() {
			return properties.keySet();
		}
Returns a set of all keys in the section
@return a set of all keys in the section
Ghidra/Framework/Gui/src/main/java/generic/theme/AbstractThemeReader.java