function getNameForPlugin($plugin)
 {
     if (!$this->plugins_name) {
         $this->plugins_name = array();
     }
     if (!isset($this->plugins_name[$plugin->getId()])) {
         $this->plugins_name[$plugin->getId()] = $this->plugin_factory->getNameForPlugin($plugin);
     }
     return $this->plugins_name[$plugin->getId()];
 }