/** Unloads all loaded plug-ins. */ public void unload() { for (GdmsPlugIn p : plugins) { firePluginUnloading(p); p.unload(); } plugins.clear(); }