@Override
	protected Option createRegisteredOption(String optionName, OptionType type, String description,
			HelpLocation help, Object defaultValue, PropertyEditor editor) {
		return new ToolOption(optionName, type, description, help, defaultValue, true, editor);
	}
Adds all the options name/value pairs to this Options.
@param newOptions the new options into which the current options values will be placed
Ghidra/Framework/Gui/src/main/java/ghidra/framework/options/ToolOptions.java