Program: 62294
Project: 62294
Buggy source:
private void initMenuData(){
  menu_key=new Menu(shlRedisClient);
  MenuItem mntmRename=new MenuItem(menu_key,SWT.NONE);
  mntmRename.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      renameKey();
    }
  }
);
  mntmRename.setText("String_Node_Str");
  MenuItem mntmDelete_4=new MenuItem(menu_key,SWT.NONE);
  mntmDelete_4.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      deleteKey();
    }
  }
);
  mntmDelete_4.setText("String_Node_Str");
  MenuItem mntmProperties_1=new MenuItem(menu_key,SWT.NONE);
  mntmProperties_1.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      properties();
    }
  }
);
  mntmProperties_1.setText("String_Node_Str");
  new MenuItem(menu_key,SWT.SEPARATOR);
  MenuItem menuItem=new MenuItem(menu_key,SWT.NONE);
  menuItem.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      addFavorite();
    }
  }
);
  menuItem.setText("String_Node_Str");
  new MenuItem(menu_key,SWT.SEPARATOR);
  MenuItem mntmCut_1=new MenuItem(menu_key,SWT.NONE);
  mntmCut_1.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      cut();
    }
  }
);
  mntmCut_1.setText("String_Node_Str");
  MenuItem mntmCopy_2=new MenuItem(menu_key,SWT.NONE);
  mntmCopy_2.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      copy();
    }
  }
);
  mntmCopy_2.setText("String_Node_Str");
}

Fixed version (ground truth):
private void initMenuData(){
  menu_key=new Menu(shlRedisClient);
  MenuItem mntmRename=new MenuItem(menu_key,SWT.NONE);
  mntmRename.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      renameKey();
    }
  }
);
  mntmRename.setText("String_Node_Str");
  MenuItem mntmDelete_4=new MenuItem(menu_key,SWT.NONE);
  mntmDelete_4.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      deleteKey();
    }
  }
);
  mntmDelete_4.setText("String_Node_Str");
  MenuItem mntmProperties_1=new MenuItem(menu_key,SWT.NONE);
  mntmProperties_1.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      dataProperties();
    }
  }
);
  mntmProperties_1.setText("String_Node_Str");
  new MenuItem(menu_key,SWT.SEPARATOR);
  MenuItem menuItem=new MenuItem(menu_key,SWT.NONE);
  menuItem.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      addFavorite();
    }
  }
);
  menuItem.setText("String_Node_Str");
  new MenuItem(menu_key,SWT.SEPARATOR);
  MenuItem mntmCut_1=new MenuItem(menu_key,SWT.NONE);
  mntmCut_1.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      cut();
    }
  }
);
  mntmCut_1.setText("String_Node_Str");
  MenuItem mntmCopy_2=new MenuItem(menu_key,SWT.NONE);
  mntmCopy_2.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      copy();
    }
  }
);
  mntmCopy_2.setText("String_Node_Str");
}