public String getValue(String key) {
			return properties.get(key);
		}
Returns the value for the given key.
@param key the key to get a value for
@return the value for the given key
Ghidra/Framework/Gui/src/main/java/generic/theme/AbstractThemeReader.java