@Override
	public void init() {
		super.init();
		options = AppInfo.getFrontEndTool().getOptions(
			EclipseIntegrationOptionsPlugin.PLUGIN_OPTIONS_NAME);
	}
Plugin responsible for providing Eclipse-related services to other Ghidra plugins.
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/eclipse/EclipseIntegrationPlugin.java