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