public String[] getNames() {
		String[] names = new String[map.size()];
		int idx = 0;
		for (String element : map.keySet()) {
			names[idx] = element;
			++idx;
		}
		return names;
	}
Return the names of the properties in this GProperties
@return the names of the properties in this GProperties
Ghidra/Framework/Generic/src/main/java/ghidra/framework/options/GProperties.java