return new ProgramContextMenu(mTree, selectedPath, PluginTreeModel.getPlugin(selectedPath[0]), selectedPrograms);
}
else if (node.getType() == Node.PLUGIN_ROOT) {
Plugin plugin = PluginTreeModel.getPlugin(selectedPath[0]);
if (plugin != null) {
return new PluginBasedPluginContextMenu(mTree, selectedPath[0], plugin, node.getActionMenus());
}
else {
PluginProxy proxy = PluginTreeModel.getPluginProxy(selectedPath[0]);
if (proxy != null) {
return new ProxyBasedPluginContextMenu(mTree, selectedPath[0], proxy, node.getActionMenus());