code: private void activateDefaultPlugins(Configuration global) {
  		// Determine the set of install plugins
  		List<Path.ID> plugins = global.matchAll(Trie.fromString("plugins/*"));
  		// start modules
  		for (Path.ID id : plugins) {
  			UTF8 activator = global.get(UTF8.class, id);
  			try {
  				Class<?> c = Class.forName(activator.toString());
  				Module.Activator instance = (Module.Activator) c.newInstance();
  				instance.start(context);
  			} catch (ClassNotFoundException e) {
  				e.printStackTrace();
  			} catch (InstantiationException e) {
  				e.printStackTrace();
  			} catch (IllegalAccessException e) {
  				e.printStackTrace();
  			}
  		}
  	}
docs: Activate the default set of plugins which the tool uses. Currently this list
  is statically determined, but eventually it will be possible to dynamically
  add plugins to the system.
  
  @param verbose
  @param locations
  @return