@Override
	public boolean isRegistered(String optionName) {
		Option option = valueMap.get(optionName);
		if (option == null) {
			return false;
		}
		return option.isRegistered();
	}
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