+ if (instance != null)
+ throw new IllegalStateException("MograsimActivator already created!");
+ instance = this;
+ MachineRegistry.initialize();
+ Preferences.setPreferences(new EclipsePreferences(PlatformUI.getWorkbench().getThemeManager().getCurrentTheme(),
+ MograsimActivator.instance().getPreferenceStore()));