Program: 62296
Project: 62296
Buggy source:
private Menu initMenuTableDB(){
  menu_dbContainer=new Menu(shlRedisClient);
  MenuItem mntmNew_1=new MenuItem(menu_dbContainer,SWT.CASCADE);
  mntmNew_1.setText("String_Node_Str");
  Menu menu_1=new Menu(mntmNew_1);
  mntmNew_1.setMenu(menu_1);
  MenuItem menuItem_1=new MenuItem(menu_1,SWT.NONE);
  menuItem_1.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      newString();
    }
  }
);
  menuItem_1.setText("String_Node_Str");
  menuItem_1.setImage(strImage);
  MenuItem menuItem_2=new MenuItem(menu_1,SWT.NONE);
  menuItem_2.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      newList();
    }
  }
);
  menuItem_2.setText("String_Node_Str");
  menuItem_2.setImage(listImage);
  MenuItem menuItem_3=new MenuItem(menu_1,SWT.NONE);
  menuItem_3.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      newSet();
    }
  }
);
  menuItem_3.setText("String_Node_Str");
  menuItem_3.setImage(setImage);
  MenuItem mntmSortedSet=new MenuItem(menu_1,SWT.NONE);
  mntmSortedSet.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      newZSet();
    }
  }
);
  mntmSortedSet.setText("String_Node_Str");
  mntmSortedSet.setImage(zsetImage);
  MenuItem mntmHash_1=new MenuItem(menu_1,SWT.NONE);
  mntmHash_1.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      newHash();
    }
  }
);
  mntmHash_1.setText("String_Node_Str");
  mntmHash_1.setImage(hashImage);
  MenuItem mntmRename_1=new MenuItem(menu_dbContainer,SWT.NONE);
  mntmRename_1.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      renameContainer();
    }
  }
);
  mntmRename_1.setText("String_Node_Str");
  MenuItem mntmDelete_2=new MenuItem(menu_dbContainer,SWT.NONE);
  mntmDelete_2.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      deleteCotainer();
    }
  }
);
  mntmDelete_2.setText("String_Node_Str");
  MenuItem mntmProperties_3=new MenuItem(menu_dbContainer,SWT.NONE);
  mntmProperties_3.setText("String_Node_Str");
  new MenuItem(menu_dbContainer,SWT.SEPARATOR);
  MenuItem mntmAddToFavorites=new MenuItem(menu_dbContainer,SWT.NONE);
  mntmAddToFavorites.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      addFavorite();
    }
  }
);
  mntmAddToFavorites.setText("String_Node_Str");
  new MenuItem(menu_dbContainer,SWT.SEPARATOR);
  MenuItem mntmCut=new MenuItem(menu_dbContainer,SWT.NONE);
  mntmCut.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent arg0){
      cut();
    }
  }
);
  mntmCut.setText("String_Node_Str");
  MenuItem mntmCopy_1=new MenuItem(menu_dbContainer,SWT.NONE);
  mntmCopy_1.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      copy();
    }
  }
);
  mntmCopy_1.setText("String_Node_Str");
  MenuItem mntmPaste_1=new MenuItem(menu_dbContainer,SWT.NONE);
  mntmPaste_1.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      paste();
    }
  }
);
  mntmPaste_1.setEnabled(false);
  mntmPaste_1.setText("String_Node_Str");
  new MenuItem(menu_dbContainer,SWT.SEPARATOR);
  MenuItem mntmImport_1=new MenuItem(menu_dbContainer,SWT.NONE);
  mntmImport_1.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      importFile();
    }
  }
);
  mntmImport_1.setEnabled(false);
  mntmImport_1.setText("String_Node_Str");
  MenuItem mntmExport_1=new MenuItem(menu_dbContainer,SWT.NONE);
  mntmExport_1.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      export();
    }
  }
);
  mntmExport_1.setText("String_Node_Str");
  new MenuItem(menu_dbContainer,SWT.SEPARATOR);
  MenuItem mntmFind_1=new MenuItem(menu_dbContainer,SWT.NONE);
  mntmFind_1.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      find();
    }
  }
);
  mntmFind_1.setText("String_Node_Str");
  MenuItem mntmFindNext_1=new MenuItem(menu_dbContainer,SWT.NONE);
  mntmFindNext_1.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      findForward();
    }
  }
);
  mntmFindNext_1.setText("String_Node_Str");
  MenuItem mntmFindBackward_3=new MenuItem(menu_dbContainer,SWT.NONE);
  mntmFindBackward_3.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      findBackward();
    }
  }
);
  mntmFindBackward_3.setText("String_Node_Str");
  return menu_dbContainer;
}

Fixed version (ground truth):
private Menu initMenuTableDB(){
  Menu menu_dbContainer=new Menu(shlRedisClient);
  MenuItem mntmNew_1=new MenuItem(menu_dbContainer,SWT.CASCADE);
  mntmNew_1.setText("String_Node_Str");
  Menu menu_1=new Menu(mntmNew_1);
  mntmNew_1.setMenu(menu_1);
  MenuItem menuItem_1=new MenuItem(menu_1,SWT.NONE);
  menuItem_1.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      newString();
    }
  }
);
  menuItem_1.setText("String_Node_Str");
  menuItem_1.setImage(strImage);
  MenuItem menuItem_2=new MenuItem(menu_1,SWT.NONE);
  menuItem_2.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      newList();
    }
  }
);
  menuItem_2.setText("String_Node_Str");
  menuItem_2.setImage(listImage);
  MenuItem menuItem_3=new MenuItem(menu_1,SWT.NONE);
  menuItem_3.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      newSet();
    }
  }
);
  menuItem_3.setText("String_Node_Str");
  menuItem_3.setImage(setImage);
  MenuItem mntmSortedSet=new MenuItem(menu_1,SWT.NONE);
  mntmSortedSet.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      newZSet();
    }
  }
);
  mntmSortedSet.setText("String_Node_Str");
  mntmSortedSet.setImage(zsetImage);
  MenuItem mntmHash_1=new MenuItem(menu_1,SWT.NONE);
  mntmHash_1.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      newHash();
    }
  }
);
  mntmHash_1.setText("String_Node_Str");
  mntmHash_1.setImage(hashImage);
  MenuItem mntmRename_1=new MenuItem(menu_dbContainer,SWT.NONE);
  mntmRename_1.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      renameContainer();
    }
  }
);
  mntmRename_1.setText("String_Node_Str");
  MenuItem mntmDelete_2=new MenuItem(menu_dbContainer,SWT.NONE);
  mntmDelete_2.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      deleteCotainer();
    }
  }
);
  mntmDelete_2.setText("String_Node_Str");
  MenuItem mntmProperties_3=new MenuItem(menu_dbContainer,SWT.NONE);
  mntmProperties_3.setText("String_Node_Str");
  new MenuItem(menu_dbContainer,SWT.SEPARATOR);
  MenuItem mntmAddToFavorites=new MenuItem(menu_dbContainer,SWT.NONE);
  mntmAddToFavorites.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      addFavorite();
    }
  }
);
  mntmAddToFavorites.setText("String_Node_Str");
  new MenuItem(menu_dbContainer,SWT.SEPARATOR);
  MenuItem mntmCut=new MenuItem(menu_dbContainer,SWT.NONE);
  mntmCut.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent arg0){
      cut();
    }
  }
);
  mntmCut.setText("String_Node_Str");
  MenuItem mntmCopy_1=new MenuItem(menu_dbContainer,SWT.NONE);
  mntmCopy_1.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      copy();
    }
  }
);
  mntmCopy_1.setText("String_Node_Str");
  MenuItem mntmPaste_1=new MenuItem(menu_dbContainer,SWT.NONE);
  mntmPaste_1.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      paste();
    }
  }
);
  mntmPaste_1.setEnabled(false);
  mntmPaste_1.setText("String_Node_Str");
  new MenuItem(menu_dbContainer,SWT.SEPARATOR);
  MenuItem mntmImport_1=new MenuItem(menu_dbContainer,SWT.NONE);
  mntmImport_1.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      importFile();
    }
  }
);
  mntmImport_1.setEnabled(false);
  mntmImport_1.setText("String_Node_Str");
  MenuItem mntmExport_1=new MenuItem(menu_dbContainer,SWT.NONE);
  mntmExport_1.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      export();
    }
  }
);
  mntmExport_1.setText("String_Node_Str");
  new MenuItem(menu_dbContainer,SWT.SEPARATOR);
  MenuItem mntmFind_1=new MenuItem(menu_dbContainer,SWT.NONE);
  mntmFind_1.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      find();
    }
  }
);
  mntmFind_1.setText("String_Node_Str");
  MenuItem mntmFindNext_1=new MenuItem(menu_dbContainer,SWT.NONE);
  mntmFindNext_1.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      findForward();
    }
  }
);
  mntmFindNext_1.setText("String_Node_Str");
  MenuItem mntmFindBackward_3=new MenuItem(menu_dbContainer,SWT.NONE);
  mntmFindBackward_3.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      findBackward();
    }
  }
);
  mntmFindBackward_3.setText("String_Node_Str");
  return menu_dbContainer;
}