public String getValue(String keyString) {

		if (propertiesMap.size() == 0) {
			return "";
		}

		if (propertiesMap.containsKey(keyString)) {
			return propertiesMap.get(keyString);
		}

		return "";
	}
@param keyString the property name
@return the value of the key in the properties file, or an empty string if no property exists
Ghidra/Features/Base/src/main/java/ghidra/app/script/GhidraScriptProperties.java