@Override
	public void init() {
		super.init();
		ToolOptions options = tool.getOptions(PLUGIN_OPTIONS_NAME);
		options.registerOption(ECLIPSE_INSTALL_DIR_OPTION, OptionType.FILE_TYPE,
			ECLIPSE_INSTALL_DIR_DEFAULT, null, ECLIPSE_INSTALL_DIR_DESC);
		options.registerOption(ECLIPSE_WORKSPACE_DIR_OPTION, OptionType.FILE_TYPE,
			ECLIPSE_WORKSPACE_DIR_DEFAULT, null, ECLIPSE_WORKSPACE_DIR_DESC);
		options.registerOption(SCRIPT_EDITOR_PORT_OPTION, SCRIPT_EDITOR_PORT_DEFAULT, null,
			SCRIPT_EDITOR_PORT_DESC);
		options.registerOption(SYMBOL_LOOKUP_PORT_OPTION, SYMBOL_LOOKUP_PORT_DEFAULT, null,
			SYMBOL_LOOKUP_PORT_DESC);
		options.registerOption(AUTO_GHIDRADEV_INSTALL_OPTION, AUTO_GHIDRADEV_INSTALL_DEFAULT, null,
			AUTO_GHIDRADEV_INSTALLATION_DESC);
		options.setOptionsHelpLocation(
			new HelpLocation("EclipseIntegration", "EclipseIntegration"));
	}
Plugin responsible for registering Eclipse-related options.
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/eclipse/EclipseIntegrationOptionsPlugin.java