@Override
	public synchronized List<String> getOptionNames() {
		List<String> names = new ArrayList<>(valueMap.keySet());
		names.addAll(aliasMap.keySet());
		Collections.sort(names);
		return names;
	}
Sets the name for this Options object.  Used when updating old options names to new names.
@param newName the new name for this options object.
Ghidra/Framework/Gui/src/main/java/ghidra/framework/options/AbstractOptions.java