+ public static void initialize()
+ {
+ reload();
+ Platform.getExtensionRegistry().addListener(new IRegistryEventListener()
+ {
+
+ @Override
+ public void removed(IExtensionPoint[] extensionPoints)
+ {
+ // nothing?
+ }
+
+ @Override
+ public void removed(IExtension[] extensions)
+ {
+ reload();
+ }
+
+ @Override
+ public void added(IExtensionPoint[] extensionPoints)
+ {
+ // nothing?
+ }
+
+ @Override
+ public void added(IExtension[] extensions)
+ {
+ reload();
+ }
+ }, MACHINE_EXT_ID);
+ }
+
+ public static Map<String, MachineDefinition> getInstalledMachines()