Menu subMenu = new Menu(menu);
menuItem.setMenu(subMenu);
for (int i = 0; i < explorerIds.length; i++) {
final String id = explorerIds[i];
TaskExplorerNode node = CheatSheetRegistryReader.getInstance().findTaskExplorer(id);
boolean isCurrentExplorer = id.equals(currentExplorer.getId());
int style = isCurrentExplorer ? SWT.RADIO: SWT.PUSH;
MenuItem item = new MenuItem(subMenu, style);
item.setText(node.getName());
item.setSelection(isCurrentExplorer);
item.setImage(TaskExplorerManager.getInstance().getImage(id));
item.addSelectionListener(new SelectionAdapter() {
public void widgetSelected(SelectionEvent e) {
setCurrentExplorerFromId(id);