Program: 120941
Project: 120941
Buggy source:
/** 
 * amaumont Comment method "createComponents".
 */
private void createComponents(){
  GridData footerCompositeGridData=new GridData(GridData.FILL_HORIZONTAL);
  this.setLayoutData(footerCompositeGridData);
  FormLayout formLayout=new FormLayout();
  this.setLayout(formLayout);
  Button okButton=new Button(this,SWT.NONE);
  okButton.setText(Messages.getString("String_Node_Str"));
  FormData okFormData=new FormData();
  Point minSize=okButton.computeSize(SWT.DEFAULT,SWT.DEFAULT,true);
  okFormData.width=Math.max(IDialogConstants.BUTTON_WIDTH,minSize.x);
  okButton.setLayoutData(okFormData);
  okButton.addSelectionListener(new SelectionListener(){
    public void widgetDefaultSelected(    SelectionEvent e){
    }
    public void widgetSelected(    SelectionEvent e){
      if (foxManager.getUiManager().validateRootElement()) {
        foxManager.getUiManager().closeFOX(SWT.OK);
      }
 else {
        MessageDialog warningMessageDialog=new MessageDialog(composite.getShell(),Messages.getString("String_Node_Str"),null,Messages.getString("String_Node_Str"),MessageDialog.ERROR,new String[]{Messages.getString("String_Node_Str")},0);
        warningMessageDialog.open();
      }
    }
  }
);
  Button cancelButton=new Button(this,SWT.NONE);
  cancelButton.setText(Messages.getString("String_Node_Str"));
  cancelButton.addSelectionListener(new SelectionListener(){
    public void widgetDefaultSelected(    SelectionEvent e){
    }
    public void widgetSelected(    SelectionEvent e){
      foxManager.getUiManager().closeFOX(SWT.CANCEL);
    }
  }
);
  FormData cancelFormData=new FormData();
  minSize=cancelButton.computeSize(SWT.DEFAULT,SWT.DEFAULT,true);
  cancelFormData.width=Math.max(IDialogConstants.BUTTON_WIDTH,minSize.x);
  cancelButton.setLayoutData(cancelFormData);
  Button autoMapButton=new Button(this,SWT.NONE);
  if (foxManager != null) {
    boolean canModify=foxManager.getFoxComponent().getProcess().isReadOnly();
    if (foxManager.getFoxComponent().getOriginalNode().getJobletNode() != null) {
      canModify=foxManager.getFoxComponent().isReadOnly();
    }
    if (canModify) {
      autoMapButton.setEnabled(false);
    }
  }
  autoMapButton.setToolTipText(Messages.getString("String_Node_Str"));
  autoMapButton.setText(Messages.getString("String_Node_Str"));
  autoMapButton.addSelectionListener(new SelectionListener(){
    public void widgetDefaultSelected(    SelectionEvent e){
    }
    public void widgetSelected(    SelectionEvent e){
      foxManager.getUiManager().autoMap();
    }
  }
);
  FormData autoMapFormData=new FormData();
  minSize=autoMapButton.computeSize(SWT.DEFAULT,SWT.DEFAULT,true);
  autoMapFormData.width=Math.max(IDialogConstants.BUTTON_WIDTH,minSize.x);
  autoMapButton.setLayoutData(autoMapFormData);
  cancelFormData.right=new FormAttachment(100,-5);
  okFormData.right=new FormAttachment(cancelButton,-5);
  autoMapFormData.left=new FormAttachment(0,5);
  FormData treeNodeData=new FormData();
  MoveDownTreeNodeButton moveDown=new MoveDownTreeNodeButton(this,foxManager);
  treeNodeData.right=new FormAttachment(okButton,-5);
  moveDown.getButton().setLayoutData(treeNodeData);
  MoveUpTreeNodeButton moveUpBtn=new MoveUpTreeNodeButton(this,foxManager);
  treeNodeData=new FormData();
  treeNodeData.right=new FormAttachment(moveDown.getButton(),-5);
  moveUpBtn.getButton().setLayoutData(treeNodeData);
  RemoveTreeNodeButton removeNodeBtn=new RemoveTreeNodeButton(this,foxManager);
  treeNodeData=new FormData();
  treeNodeData.right=new FormAttachment(moveUpBtn.getButton(),-5);
  removeNodeBtn.getButton().setLayoutData(treeNodeData);
  AddTreeNodeButton addNodeBtn=new AddTreeNodeButton(this,foxManager);
  treeNodeData=new FormData();
  treeNodeData.right=new FormAttachment(removeNodeBtn.getButton(),-5);
  addNodeBtn.getButton().setLayoutData(treeNodeData);
}

Fixed version (ground truth):
/** 
 * amaumont Comment method "createComponents".
 */
private void createComponents(){
  GridData footerCompositeGridData=new GridData(GridData.FILL_HORIZONTAL);
  this.setLayoutData(footerCompositeGridData);
  FormLayout formLayout=new FormLayout();
  this.setLayout(formLayout);
  Button okButton=new Button(this,SWT.NONE);
  okButton.setText(Messages.getString("String_Node_Str"));
  FormData okFormData=new FormData();
  Point minSize=okButton.computeSize(SWT.DEFAULT,SWT.DEFAULT,true);
  okFormData.width=Math.max(IDialogConstants.BUTTON_WIDTH,minSize.x);
  okButton.setLayoutData(okFormData);
  okButton.addSelectionListener(new SelectionListener(){
    @Override public void widgetDefaultSelected(    SelectionEvent e){
    }
    @Override public void widgetSelected(    SelectionEvent e){
      if (foxManager.getUiManager().validateRootElement()) {
        foxManager.getUiManager().closeFOX(SWT.OK);
      }
 else {
        MessageDialog warningMessageDialog=new MessageDialog(composite.getShell(),Messages.getString("String_Node_Str"),null,Messages.getString("String_Node_Str"),MessageDialog.ERROR,new String[]{Messages.getString("String_Node_Str")},0);
        warningMessageDialog.open();
      }
    }
  }
);
  Button cancelButton=new Button(this,SWT.NONE);
  cancelButton.setText(Messages.getString("String_Node_Str"));
  cancelButton.addSelectionListener(new SelectionListener(){
    @Override public void widgetDefaultSelected(    SelectionEvent e){
    }
    @Override public void widgetSelected(    SelectionEvent e){
      foxManager.getUiManager().closeFOX(SWT.CANCEL);
    }
  }
);
  FormData cancelFormData=new FormData();
  minSize=cancelButton.computeSize(SWT.DEFAULT,SWT.DEFAULT,true);
  cancelFormData.width=Math.max(IDialogConstants.BUTTON_WIDTH,minSize.x);
  cancelButton.setLayoutData(cancelFormData);
  Button autoMapButton=new Button(this,SWT.NONE);
  if (foxManager != null) {
    boolean canModify=foxManager.getFoxComponent().getProcess().isReadOnly();
    if (foxManager.getFoxComponent().getOriginalNode().getJobletNode() != null) {
      canModify=foxManager.getFoxComponent().isReadOnly();
    }
    if (canModify) {
      autoMapButton.setEnabled(false);
    }
  }
  autoMapButton.setToolTipText(Messages.getString("String_Node_Str"));
  autoMapButton.setText(Messages.getString("String_Node_Str"));
  autoMapButton.addSelectionListener(new SelectionListener(){
    @Override public void widgetDefaultSelected(    SelectionEvent e){
    }
    @Override public void widgetSelected(    SelectionEvent e){
      foxManager.getUiManager().autoMap();
    }
  }
);
  FormData autoMapFormData=new FormData();
  minSize=autoMapButton.computeSize(SWT.DEFAULT,SWT.DEFAULT,true);
  autoMapFormData.width=Math.max(IDialogConstants.BUTTON_WIDTH,minSize.x);
  autoMapButton.setLayoutData(autoMapFormData);
  cancelFormData.right=new FormAttachment(100,-5);
  okFormData.right=new FormAttachment(cancelButton,-5);
  autoMapFormData.left=new FormAttachment(0,5);
  FormData treeNodeData=new FormData();
  moveDown=new MoveDownTreeNodeButton(this,foxManager);
  treeNodeData.right=new FormAttachment(okButton,-5);
  moveDown.getButton().setLayoutData(treeNodeData);
  moveUpBtn=new MoveUpTreeNodeButton(this,foxManager);
  treeNodeData=new FormData();
  treeNodeData.right=new FormAttachment(moveDown.getButton(),-5);
  moveUpBtn.getButton().setLayoutData(treeNodeData);
  removeNodeBtn=new RemoveTreeNodeButton(this,foxManager);
  treeNodeData=new FormData();
  treeNodeData.right=new FormAttachment(moveUpBtn.getButton(),-5);
  removeNodeBtn.getButton().setLayoutData(treeNodeData);
  addNodeBtn=new AddTreeNodeButton(this,foxManager);
  treeNodeData=new FormData();
  treeNodeData.right=new FormAttachment(removeNodeBtn.getButton(),-5);
  addNodeBtn.getButton().setLayoutData(treeNodeData);
}