JMenu toolMenu = new JMenu(resources.getString(TOOL_MENU));
List extensionItems = ExtensionManager.getExecutableExtensions(
"toolsMenuItem", parent);
Collections.sort(extensionItems, new ToolMenuItemComparator());
toolMenu.add(new OpenPreferencesDialogAction(parent));
toolMenu.add(new OfflineModeToggleMenuItem(parent.getWorkingDirectory()));
addToolExtensions(toolMenu, extensionItems, "prefs");
toolMenu.addSeparator();
if (personalMode)