public synchronized Option getOption(String optionName, OptionType type, Object defaultValue) {
		validateOptionName(optionName);
		if (aliasMap.containsKey(optionName)) {
			AliasBinding binding = aliasMap.get(optionName);
			return binding.options.getOption(binding.path, type, defaultValue);
		}
		Option option = valueMap.get(optionName);
		if (option == null) {
			option = createUnregisteredOption(optionName, type, defaultValue);
			if (option.getOptionType() != OptionType.NO_TYPE) {
				valueMap.put(optionName, option);
			}
		}

		validateOptionType(option, type);
		return option;
	}
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