code: public List<String> getPluginNames() {
  		ArrayList<String> ret = new ArrayList<String>(plugins.keySet());
  		return ret;
  	}
docs: Returns the names of the active plugins.
  @return list of loaded plugins names.