public IdeaPluginDescriptor[] getPlugins() {
   return PluginsFacade.INSTANCE.getPlugins();
 }
 public IdeaPluginDescriptor getPlugin(PluginId id) {
   return PluginsFacade.INSTANCE.getPlugin(id);
 }