617618619620621622623624
return; } IModule module = (IModule) selection.getFirstElement(); if (module != null) { manager.add(new RemoveModuleAction(getSection().getShell(), editorPage.getServer().getOriginal(), module)); } }