Program: 62316
Project: 62316
Buggy source:
private void initMenu(){
  menu=new Menu(shlRedisClient,SWT.BAR);
  shlRedisClient.setMenuBar(menu);
  MenuItem mntmServer=new MenuItem(menu,SWT.CASCADE);
  mntmServer.setText("String_Node_Str");
  menuServer=new Menu(mntmServer);
  mntmServer.setMenu(menuServer);
  MenuItem mntmNew=new MenuItem(menuServer,SWT.NONE);
  mntmNew.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent arg0){
      addServer();
    }
  }
);
  mntmNew.setText("String_Node_Str");
  MenuItem mntmEdit=new MenuItem(menuServer,SWT.NONE);
  mntmEdit.setEnabled(false);
  mntmEdit.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      updateServer();
    }
  }
);
  mntmEdit.setText("String_Node_Str");
  MenuItem mntmDelete_1=new MenuItem(menuServer,SWT.NONE);
  mntmDelete_1.setEnabled(false);
  mntmDelete_1.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent arg0){
      removeServer();
    }
  }
);
  mntmDelete_1.setText("String_Node_Str");
  MenuItem mntmProperties=new MenuItem(menuServer,SWT.NONE);
  mntmProperties.setEnabled(false);
  mntmProperties.setText("String_Node_Str");
  new MenuItem(menuServer,SWT.SEPARATOR);
  MenuItem mntmExit=new MenuItem(menuServer,SWT.NONE);
  mntmExit.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent arg0){
      shlRedisClient.close();
    }
  }
);
  mntmExit.setText("String_Node_Str");
  MenuItem mntmData=new MenuItem(menu,SWT.CASCADE);
  mntmData.setText("String_Node_Str");
  menuData=new Menu(mntmData);
  mntmData.setMenu(menuData);
  MenuItem mntmAdd=new MenuItem(menuData,SWT.CASCADE);
  mntmAdd.setEnabled(false);
  mntmAdd.setText("String_Node_Str");
  Menu menu_5=new Menu(mntmAdd);
  mntmAdd.setMenu(menu_5);
  MenuItem mntmString=new MenuItem(menu_5,SWT.NONE);
  mntmString.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      newString();
    }
  }
);
  mntmString.setText("String_Node_Str");
  mntmString.setAccelerator(SWT.ALT + '1');
  mntmString.setImage(strImage);
  MenuItem mntmList=new MenuItem(menu_5,SWT.NONE);
  mntmList.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      newList();
    }
  }
);
  mntmList.setText("String_Node_Str");
  mntmList.setAccelerator(SWT.ALT + '2');
  mntmList.setImage(listImage);
  MenuItem mntmSet=new MenuItem(menu_5,SWT.NONE);
  mntmSet.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      newSet();
    }
  }
);
  mntmSet.setText("String_Node_Str");
  mntmSet.setAccelerator(SWT.ALT + '3');
  mntmSet.setImage(setImage);
  MenuItem mntmSortset=new MenuItem(menu_5,SWT.NONE);
  mntmSortset.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      newZSet();
    }
  }
);
  mntmSortset.setText("String_Node_Str");
  mntmSortset.setAccelerator(SWT.ALT + '4');
  mntmSortset.setImage(zsetImage);
  MenuItem mntmHash=new MenuItem(menu_5,SWT.NONE);
  mntmHash.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      newHash();
    }
  }
);
  mntmHash.setText("String_Node_Str");
  mntmHash.setAccelerator(SWT.ALT + '5');
  mntmHash.setImage(hashImage);
  MenuItem mntmRename_2=new MenuItem(menuData,SWT.NONE);
  mntmRename_2.setEnabled(false);
  mntmRename_2.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      if (itemSelected instanceof TreeItem)       renameContainer();
 else       renameKey();
    }
  }
);
  mntmRename_2.setText("String_Node_Str");
  MenuItem mntmDelete_3=new MenuItem(menuData,SWT.NONE);
  mntmDelete_3.setEnabled(false);
  mntmDelete_3.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      if (itemSelected instanceof TreeItem)       deleteCotainer();
 else {
        NodeType type=(NodeType)itemSelected.getData(NODE_TYPE);
        if (type == NodeType.CONTAINER)         deleteCotainer();
 else         deleteKey();
      }
    }
  }
);
  mntmDelete_3.setText("String_Node_Str");
  mntmDelete_3.setAccelerator(SWT.DEL);
  MenuItem mntmProperties_2=new MenuItem(menuData,SWT.NONE);
  mntmProperties_2.setEnabled(false);
  mntmProperties_2.setText("String_Node_Str");
  new MenuItem(menuData,SWT.SEPARATOR);
  MenuItem mntmcut=new MenuItem(menuData,SWT.NONE);
  mntmcut.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      cut();
    }
  }
);
  mntmcut.setEnabled(false);
  mntmcut.setText("String_Node_Str");
  mntmcut.setAccelerator(SWT.CTRL + 'X');
  MenuItem mntmCopy=new MenuItem(menuData,SWT.NONE);
  mntmCopy.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      copy();
    }
  }
);
  mntmCopy.setEnabled(false);
  mntmCopy.setText("String_Node_Str");
  mntmCopy.setAccelerator(SWT.CTRL + 'C');
  MenuItem mntmPaste=new MenuItem(menuData,SWT.NONE);
  mntmPaste.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      paste();
    }
  }
);
  mntmPaste.setEnabled(false);
  mntmPaste.setText("String_Node_Str");
  mntmPaste.setAccelerator(SWT.CTRL + 'V');
  new MenuItem(menuData,SWT.SEPARATOR);
  MenuItem mntmImport=new MenuItem(menuData,SWT.NONE);
  mntmImport.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      importFile();
    }
  }
);
  mntmImport.setEnabled(false);
  mntmImport.setText("String_Node_Str");
  MenuItem mntmExport=new MenuItem(menuData,SWT.NONE);
  mntmExport.setEnabled(false);
  mntmExport.setText("String_Node_Str");
  new MenuItem(menuData,SWT.SEPARATOR);
  MenuItem mntmRefresh_1=new MenuItem(menuData,SWT.NONE);
  mntmRefresh_1.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      treeItemSelected(true);
    }
  }
);
  mntmRefresh_1.setText("String_Node_Str");
  mntmRefresh_1.setAccelerator(SWT.F5);
  MenuItem mntmFavorites=new MenuItem(menu,SWT.CASCADE);
  mntmFavorites.setText("String_Node_Str");
  menuFavorite=new Menu(mntmFavorites);
  mntmFavorites.setMenu(menuFavorite);
  MenuItem mntmAdd_Favorite=new MenuItem(menuFavorite,SWT.NONE);
  mntmAdd_Favorite.setEnabled(false);
  mntmAdd_Favorite.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      addFavorite();
    }
  }
);
  mntmAdd_Favorite.setText("String_Node_Str");
  MenuItem mntmOrganize=new MenuItem(menuFavorite,SWT.NONE);
  mntmOrganize.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      OrganizeFavoriteDialog dialog=new OrganizeFavoriteDialog(shlRedisClient,SWT.SHELL_TRIM | SWT.APPLICATION_MODAL);
      List<Favorite> favorites=(List<Favorite>)dialog.open();
      if (favorites != null) {
        service3.updateList(favorites);
        removeFavoriteMenuItem();
        addFavoriteMenuItem();
      }
    }
  }
);
  mntmOrganize.setText("String_Node_Str");
  addFavoriteMenuItem();
  MenuItem mntmTool=new MenuItem(menu,SWT.CASCADE);
  mntmTool.setText("String_Node_Str");
  Menu menu_6=new Menu(mntmTool);
  mntmTool.setMenu(menu_6);
  MenuItem mntmSet_2=new MenuItem(menu_6,SWT.CASCADE);
  mntmSet_2.setText("String_Node_Str");
  Menu menu_3=new Menu(mntmSet_2);
  mntmSet_2.setMenu(menu_3);
  MenuItem mntmDiff=new MenuItem(menu_3,SWT.NONE);
  mntmDiff.setText("String_Node_Str");
  MenuItem mntmInter=new MenuItem(menu_3,SWT.NONE);
  mntmInter.setText("String_Node_Str");
  MenuItem mntmUnion=new MenuItem(menu_3,SWT.NONE);
  mntmUnion.setText("String_Node_Str");
  new MenuItem(menu_6,SWT.SEPARATOR);
  MenuItem mntmPubsub=new MenuItem(menu_6,SWT.NONE);
  mntmPubsub.setText("String_Node_Str");
  MenuItem mntmHelp=new MenuItem(menu,SWT.CASCADE);
  mntmHelp.setText("String_Node_Str");
  Menu menu_2=new Menu(mntmHelp);
  mntmHelp.setMenu(menu_2);
  MenuItem mntmReportBug=new MenuItem(menu_2,SWT.NONE);
  mntmReportBug.setText("String_Node_Str");
  MenuItem mntmDonation=new MenuItem(menu_2,SWT.NONE);
  mntmDonation.setText("String_Node_Str");
  new MenuItem(menu_2,SWT.SEPARATOR);
  MenuItem mntmAbout=new MenuItem(menu_2,SWT.NONE);
  mntmAbout.setText("String_Node_Str");
}

Fixed version (ground truth):
private void initMenu(){
  menu=new Menu(shlRedisClient,SWT.BAR);
  shlRedisClient.setMenuBar(menu);
  MenuItem mntmServer=new MenuItem(menu,SWT.CASCADE);
  mntmServer.setText("String_Node_Str");
  menuServer=new Menu(mntmServer);
  mntmServer.setMenu(menuServer);
  MenuItem mntmNew=new MenuItem(menuServer,SWT.NONE);
  mntmNew.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent arg0){
      addServer();
    }
  }
);
  mntmNew.setText("String_Node_Str");
  MenuItem mntmEdit=new MenuItem(menuServer,SWT.NONE);
  mntmEdit.setEnabled(false);
  mntmEdit.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      updateServer();
    }
  }
);
  mntmEdit.setText("String_Node_Str");
  MenuItem mntmDelete_1=new MenuItem(menuServer,SWT.NONE);
  mntmDelete_1.setEnabled(false);
  mntmDelete_1.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent arg0){
      removeServer();
    }
  }
);
  mntmDelete_1.setText("String_Node_Str");
  MenuItem mntmProperties=new MenuItem(menuServer,SWT.NONE);
  mntmProperties.setEnabled(false);
  mntmProperties.setText("String_Node_Str");
  new MenuItem(menuServer,SWT.SEPARATOR);
  MenuItem mntmExit=new MenuItem(menuServer,SWT.NONE);
  mntmExit.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent arg0){
      shlRedisClient.close();
    }
  }
);
  mntmExit.setText("String_Node_Str");
  MenuItem mntmData=new MenuItem(menu,SWT.CASCADE);
  mntmData.setText("String_Node_Str");
  menuData=new Menu(mntmData);
  mntmData.setMenu(menuData);
  MenuItem mntmAdd=new MenuItem(menuData,SWT.CASCADE);
  mntmAdd.setEnabled(false);
  mntmAdd.setText("String_Node_Str");
  Menu menu_5=new Menu(mntmAdd);
  mntmAdd.setMenu(menu_5);
  MenuItem mntmString=new MenuItem(menu_5,SWT.NONE);
  mntmString.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      newString();
    }
  }
);
  mntmString.setText("String_Node_Str");
  mntmString.setAccelerator(SWT.ALT + '1');
  mntmString.setImage(strImage);
  MenuItem mntmList=new MenuItem(menu_5,SWT.NONE);
  mntmList.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      newList();
    }
  }
);
  mntmList.setText("String_Node_Str");
  mntmList.setAccelerator(SWT.ALT + '2');
  mntmList.setImage(listImage);
  MenuItem mntmSet=new MenuItem(menu_5,SWT.NONE);
  mntmSet.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      newSet();
    }
  }
);
  mntmSet.setText("String_Node_Str");
  mntmSet.setAccelerator(SWT.ALT + '3');
  mntmSet.setImage(setImage);
  MenuItem mntmSortset=new MenuItem(menu_5,SWT.NONE);
  mntmSortset.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      newZSet();
    }
  }
);
  mntmSortset.setText("String_Node_Str");
  mntmSortset.setAccelerator(SWT.ALT + '4');
  mntmSortset.setImage(zsetImage);
  MenuItem mntmHash=new MenuItem(menu_5,SWT.NONE);
  mntmHash.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      newHash();
    }
  }
);
  mntmHash.setText("String_Node_Str");
  mntmHash.setAccelerator(SWT.ALT + '5');
  mntmHash.setImage(hashImage);
  MenuItem mntmRename_2=new MenuItem(menuData,SWT.NONE);
  mntmRename_2.setEnabled(false);
  mntmRename_2.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      if (itemSelected instanceof TreeItem)       renameContainer();
 else       renameKey();
    }
  }
);
  mntmRename_2.setText("String_Node_Str");
  MenuItem mntmDelete_3=new MenuItem(menuData,SWT.NONE);
  mntmDelete_3.setEnabled(false);
  mntmDelete_3.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      if (itemSelected instanceof TreeItem)       deleteCotainer();
 else {
        NodeType type=(NodeType)itemSelected.getData(NODE_TYPE);
        if (type == NodeType.CONTAINER)         deleteCotainer();
 else         deleteKey();
      }
    }
  }
);
  mntmDelete_3.setText("String_Node_Str");
  mntmDelete_3.setAccelerator(SWT.DEL);
  MenuItem mntmProperties_2=new MenuItem(menuData,SWT.NONE);
  mntmProperties_2.setEnabled(false);
  mntmProperties_2.setText("String_Node_Str");
  new MenuItem(menuData,SWT.SEPARATOR);
  MenuItem mntmcut=new MenuItem(menuData,SWT.NONE);
  mntmcut.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      cut();
    }
  }
);
  mntmcut.setEnabled(false);
  mntmcut.setText("String_Node_Str");
  mntmcut.setAccelerator(SWT.CTRL + 'X');
  MenuItem mntmCopy=new MenuItem(menuData,SWT.NONE);
  mntmCopy.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      copy();
    }
  }
);
  mntmCopy.setEnabled(false);
  mntmCopy.setText("String_Node_Str");
  mntmCopy.setAccelerator(SWT.CTRL + 'C');
  MenuItem mntmPaste=new MenuItem(menuData,SWT.NONE);
  mntmPaste.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      paste();
    }
  }
);
  mntmPaste.setEnabled(false);
  mntmPaste.setText("String_Node_Str");
  mntmPaste.setAccelerator(SWT.CTRL + 'V');
  new MenuItem(menuData,SWT.SEPARATOR);
  MenuItem mntmImport=new MenuItem(menuData,SWT.NONE);
  mntmImport.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      importFile();
    }
  }
);
  mntmImport.setEnabled(false);
  mntmImport.setText("String_Node_Str");
  MenuItem mntmExport=new MenuItem(menuData,SWT.NONE);
  mntmExport.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent arg0){
      export();
    }
  }
);
  mntmExport.setEnabled(false);
  mntmExport.setText("String_Node_Str");
  new MenuItem(menuData,SWT.SEPARATOR);
  MenuItem mntmRefresh_1=new MenuItem(menuData,SWT.NONE);
  mntmRefresh_1.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      treeItemSelected(true);
    }
  }
);
  mntmRefresh_1.setText("String_Node_Str");
  mntmRefresh_1.setAccelerator(SWT.F5);
  MenuItem mntmFavorites=new MenuItem(menu,SWT.CASCADE);
  mntmFavorites.setText("String_Node_Str");
  menuFavorite=new Menu(mntmFavorites);
  mntmFavorites.setMenu(menuFavorite);
  MenuItem mntmAdd_Favorite=new MenuItem(menuFavorite,SWT.NONE);
  mntmAdd_Favorite.setEnabled(false);
  mntmAdd_Favorite.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      addFavorite();
    }
  }
);
  mntmAdd_Favorite.setText("String_Node_Str");
  MenuItem mntmOrganize=new MenuItem(menuFavorite,SWT.NONE);
  mntmOrganize.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      OrganizeFavoriteDialog dialog=new OrganizeFavoriteDialog(shlRedisClient,SWT.SHELL_TRIM | SWT.APPLICATION_MODAL);
      List<Favorite> favorites=(List<Favorite>)dialog.open();
      if (favorites != null) {
        service3.updateList(favorites);
        removeFavoriteMenuItem();
        addFavoriteMenuItem();
      }
    }
  }
);
  mntmOrganize.setText("String_Node_Str");
  addFavoriteMenuItem();
  MenuItem mntmTool=new MenuItem(menu,SWT.CASCADE);
  mntmTool.setText("String_Node_Str");
  Menu menu_6=new Menu(mntmTool);
  mntmTool.setMenu(menu_6);
  MenuItem mntmSet_2=new MenuItem(menu_6,SWT.CASCADE);
  mntmSet_2.setText("String_Node_Str");
  Menu menu_3=new Menu(mntmSet_2);
  mntmSet_2.setMenu(menu_3);
  MenuItem mntmDiff=new MenuItem(menu_3,SWT.NONE);
  mntmDiff.setText("String_Node_Str");
  MenuItem mntmInter=new MenuItem(menu_3,SWT.NONE);
  mntmInter.setText("String_Node_Str");
  MenuItem mntmUnion=new MenuItem(menu_3,SWT.NONE);
  mntmUnion.setText("String_Node_Str");
  new MenuItem(menu_6,SWT.SEPARATOR);
  MenuItem mntmPubsub=new MenuItem(menu_6,SWT.NONE);
  mntmPubsub.setText("String_Node_Str");
  MenuItem mntmHelp=new MenuItem(menu,SWT.CASCADE);
  mntmHelp.setText("String_Node_Str");
  Menu menu_2=new Menu(mntmHelp);
  mntmHelp.setMenu(menu_2);
  MenuItem mntmReportBug=new MenuItem(menu_2,SWT.NONE);
  mntmReportBug.setText("String_Node_Str");
  MenuItem mntmDonation=new MenuItem(menu_2,SWT.NONE);
  mntmDonation.setText("String_Node_Str");
  new MenuItem(menu_2,SWT.SEPARATOR);
  MenuItem mntmAbout=new MenuItem(menu_2,SWT.NONE);
  mntmAbout.setText("String_Node_Str");
}