568569570571572573574575576577578
return global.plugins.orderPlugins(plugins); } private static void addIfHasShell(Set<Plugin<TaskDef>> plugins, Plugin plugin) { PluginShellMode shell = plugin.getShell(); if(shell != null){ plugins.add(plugin); } }
564565566567568569570571572573574