protected Collection<String> values() {
		return propertiesMap.values();
	}
@return the property names for all properties
Ghidra/Features/Base/src/main/java/ghidra/app/script/GhidraScriptProperties.java