@Override
	public void restoreDefaultValue(String optionName) {
		Option option = getOption(optionName, OptionType.NO_TYPE, null);
		if (option.isDefault()) {
			return;
		}
		Object previousValue = option.getCurrentValue();
		option.restoreDefault();
		notifyOptionChanged(optionName, previousValue, option.getCurrentValue());
	}
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