/** Unloads all loaded plug-ins. */
 public void unload() {
   for (GdmsPlugIn p : plugins) {
     firePluginUnloading(p);
     p.unload();
   }
   plugins.clear();
 }
 /**
  * Loads the plugins.
  *
  * <p>This goes through all .jar files in the plug-in directory, looking for classes whose name
  * ends in "PlugIn" or "Plugin" and that inherit from {@link GdmsPlugIn}. It then loads them all.
  */
 public void load() {
   loadPlugins();
   for (GdmsPlugIn p : plugins) {
     p.load(dsf);
     firePluginLoaded(p);
   }
 }