Program: 62318
Project: 62318
Buggy source:
private void initMenu(){
  menu=new Menu(shlRedisClient,SWT.BAR);
  shlRedisClient.setMenuBar(menu);
  MenuItem mntmFile=new MenuItem(menu,SWT.CASCADE);
  mntmFile.setText("String_Node_Str");
  Menu menu_1=new Menu(mntmFile);
  mntmFile.setMenu(menu_1);
  MenuItem mntmNew=new MenuItem(menu_1,SWT.NONE);
  mntmNew.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent arg0){
      addServer();
    }
  }
);
  mntmNew.setText("String_Node_Str");
  MenuItem mntmEdit=new MenuItem(menu_1,SWT.NONE);
  mntmEdit.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      updateServer();
    }
  }
);
  mntmEdit.setText("String_Node_Str");
  MenuItem mntmDelete_1=new MenuItem(menu_1,SWT.NONE);
  mntmDelete_1.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent arg0){
      removeServer();
    }
  }
);
  mntmDelete_1.setText("String_Node_Str");
  new MenuItem(menu_1,SWT.SEPARATOR);
  MenuItem mntmProperties=new MenuItem(menu_1,SWT.NONE);
  mntmProperties.setText("String_Node_Str");
  MenuItem mntmExit=new MenuItem(menu_1,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");
  Menu menu_4=new Menu(mntmData);
  mntmData.setMenu(menu_4);
  MenuItem mntmAdd=new MenuItem(menu_4,SWT.CASCADE);
  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");
  MenuItem mntmList=new MenuItem(menu_5,SWT.NONE);
  mntmList.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      newList();
    }
  }
);
  mntmList.setText("String_Node_Str");
  MenuItem mntmSet=new MenuItem(menu_5,SWT.NONE);
  mntmSet.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      newSet();
    }
  }
);
  mntmSet.setText("String_Node_Str");
  MenuItem mntmSortset=new MenuItem(menu_5,SWT.NONE);
  mntmSortset.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      newZSet();
    }
  }
);
  mntmSortset.setText("String_Node_Str");
  MenuItem mntmHash=new MenuItem(menu_5,SWT.NONE);
  mntmHash.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      newHash();
    }
  }
);
  mntmHash.setText("String_Node_Str");
  mntmRename_2=new MenuItem(menu_4,SWT.NONE);
  mntmRename_2.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      renameContainer();
    }
  }
);
  mntmRename_2.setText("String_Node_Str");
  mntmDelete_3=new MenuItem(menu_4,SWT.NONE);
  mntmDelete_3.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      TreeItem[] items=tree.getSelection();
      NodeType type=(NodeType)items[0].getData(NODE_TYPE);
      if (type == NodeType.CONTAINER)       deleteCotainer(items[0]);
 else       MessageDialog.openError(shlRedisClient,"String_Node_Str","String_Node_Str");
    }
  }
);
  mntmDelete_3.setText("String_Node_Str");
  new MenuItem(menu_4,SWT.SEPARATOR);
  MenuItem mntmcut=new MenuItem(menu_4,SWT.NONE);
  mntmcut.setText("String_Node_Str");
  MenuItem mntmCopy=new MenuItem(menu_4,SWT.NONE);
  mntmCopy.setText("String_Node_Str");
  MenuItem mntmPaste=new MenuItem(menu_4,SWT.NONE);
  mntmPaste.setText("String_Node_Str");
  new MenuItem(menu_4,SWT.SEPARATOR);
  MenuItem mntmFind=new MenuItem(menu_4,SWT.NONE);
  mntmFind.setText("String_Node_Str");
  MenuItem mntmReplace=new MenuItem(menu_4,SWT.NONE);
  mntmReplace.setText("String_Node_Str");
  new MenuItem(menu_4,SWT.SEPARATOR);
  MenuItem mntmImport=new MenuItem(menu_4,SWT.NONE);
  mntmImport.setText("String_Node_Str");
  MenuItem mntmExport=new MenuItem(menu_4,SWT.NONE);
  mntmExport.setText("String_Node_Str");
  new MenuItem(menu_4,SWT.SEPARATOR);
  MenuItem mntmRefresh_1=new MenuItem(menu_4,SWT.NONE);
  mntmRefresh_1.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      treeItemSelected(true);
    }
  }
);
  mntmRefresh_1.setText("String_Node_Str");
  MenuItem mntmFavorites=new MenuItem(menu,SWT.CASCADE);
  mntmFavorites.setText("String_Node_Str");
  menu_favorite=new Menu(mntmFavorites);
  mntmFavorites.setMenu(menu_favorite);
  mntmAdd_Favorite=new MenuItem(menu_favorite,SWT.NONE);
  mntmAdd_Favorite.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      addFavorite();
    }
  }
);
  mntmAdd_Favorite.setText("String_Node_Str");
  MenuItem mntmOrganize=new MenuItem(menu_favorite,SWT.NONE);
  mntmOrganize.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      OrganizeFavoriteDialog dialog=new OrganizeFavoriteDialog(shlRedisClient,SWT.DIALOG_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 mntmFile=new MenuItem(menu,SWT.CASCADE);
  mntmFile.setText("String_Node_Str");
  Menu menu_1=new Menu(mntmFile);
  mntmFile.setMenu(menu_1);
  MenuItem mntmNew=new MenuItem(menu_1,SWT.NONE);
  mntmNew.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent arg0){
      addServer();
    }
  }
);
  mntmNew.setText("String_Node_Str");
  mntmEdit=new MenuItem(menu_1,SWT.NONE);
  mntmEdit.setEnabled(false);
  mntmEdit.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      updateServer();
    }
  }
);
  mntmEdit.setText("String_Node_Str");
  mntmDelete_1=new MenuItem(menu_1,SWT.NONE);
  mntmDelete_1.setEnabled(false);
  mntmDelete_1.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent arg0){
      removeServer();
    }
  }
);
  mntmDelete_1.setText("String_Node_Str");
  new MenuItem(menu_1,SWT.SEPARATOR);
  mntmProperties=new MenuItem(menu_1,SWT.NONE);
  mntmProperties.setEnabled(false);
  mntmProperties.setText("String_Node_Str");
  MenuItem mntmExit=new MenuItem(menu_1,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");
  Menu menu_4=new Menu(mntmData);
  mntmData.setMenu(menu_4);
  mntmAdd=new MenuItem(menu_4,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");
  MenuItem mntmList=new MenuItem(menu_5,SWT.NONE);
  mntmList.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      newList();
    }
  }
);
  mntmList.setText("String_Node_Str");
  MenuItem mntmSet=new MenuItem(menu_5,SWT.NONE);
  mntmSet.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      newSet();
    }
  }
);
  mntmSet.setText("String_Node_Str");
  MenuItem mntmSortset=new MenuItem(menu_5,SWT.NONE);
  mntmSortset.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      newZSet();
    }
  }
);
  mntmSortset.setText("String_Node_Str");
  MenuItem mntmHash=new MenuItem(menu_5,SWT.NONE);
  mntmHash.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      newHash();
    }
  }
);
  mntmHash.setText("String_Node_Str");
  mntmRename_2=new MenuItem(menu_4,SWT.NONE);
  mntmRename_2.setEnabled(false);
  mntmRename_2.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      renameContainer();
    }
  }
);
  mntmRename_2.setText("String_Node_Str");
  mntmDelete_3=new MenuItem(menu_4,SWT.NONE);
  mntmDelete_3.setEnabled(false);
  mntmDelete_3.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      TreeItem[] items=tree.getSelection();
      NodeType type=(NodeType)items[0].getData(NODE_TYPE);
      if (type == NodeType.CONTAINER)       deleteCotainer(items[0]);
 else       MessageDialog.openError(shlRedisClient,"String_Node_Str","String_Node_Str");
    }
  }
);
  mntmDelete_3.setText("String_Node_Str");
  new MenuItem(menu_4,SWT.SEPARATOR);
  MenuItem mntmcut=new MenuItem(menu_4,SWT.NONE);
  mntmcut.setEnabled(false);
  mntmcut.setText("String_Node_Str");
  MenuItem mntmCopy=new MenuItem(menu_4,SWT.NONE);
  mntmCopy.setEnabled(false);
  mntmCopy.setText("String_Node_Str");
  MenuItem mntmPaste=new MenuItem(menu_4,SWT.NONE);
  mntmPaste.setEnabled(false);
  mntmPaste.setText("String_Node_Str");
  new MenuItem(menu_4,SWT.SEPARATOR);
  MenuItem mntmFind=new MenuItem(menu_4,SWT.NONE);
  mntmFind.setText("String_Node_Str");
  MenuItem mntmReplace=new MenuItem(menu_4,SWT.NONE);
  mntmReplace.setText("String_Node_Str");
  new MenuItem(menu_4,SWT.SEPARATOR);
  MenuItem mntmImport=new MenuItem(menu_4,SWT.NONE);
  mntmImport.setEnabled(false);
  mntmImport.setText("String_Node_Str");
  MenuItem mntmExport=new MenuItem(menu_4,SWT.NONE);
  mntmExport.setEnabled(false);
  mntmExport.setText("String_Node_Str");
  new MenuItem(menu_4,SWT.SEPARATOR);
  MenuItem mntmRefresh_1=new MenuItem(menu_4,SWT.NONE);
  mntmRefresh_1.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      treeItemSelected(true);
    }
  }
);
  mntmRefresh_1.setText("String_Node_Str");
  MenuItem mntmFavorites=new MenuItem(menu,SWT.CASCADE);
  mntmFavorites.setText("String_Node_Str");
  menu_favorite=new Menu(mntmFavorites);
  mntmFavorites.setMenu(menu_favorite);
  mntmAdd_Favorite=new MenuItem(menu_favorite,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(menu_favorite,SWT.NONE);
  mntmOrganize.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      OrganizeFavoriteDialog dialog=new OrganizeFavoriteDialog(shlRedisClient,SWT.DIALOG_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");
}