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()];
}