Program: 57535
Project: 57535
Buggy source:
/** 
 * Creates a composite that contains the   {@link #tableInfoLabel} and the{@link #showAllColumnsButton}.
 * @param parent
 */
protected void createTableInfo(Composite parent){
  Composite tableInfoComposite=new Composite(parent,SWT.NONE);
  tableInfoComposite.setLayout(new GridLayout(4,false));
  tableInfoComposite.setLayoutData(new GridData(SWT.RIGHT,SWT.FILL,false,true,2,1));
  tableInfoLabel=new Label(tableInfoComposite,SWT.NONE);
  Label separator=new Label(tableInfoComposite,SWT.SEPARATOR | SWT.VERTICAL);
  GridData separatorGridData=new GridData(SWT.CENTER,SWT.CENTER,false,false);
  separatorGridData.heightHint=16;
  separator.setLayoutData(separatorGridData);
  showAllColumnsButton=new Button(tableInfoComposite,SWT.CHECK);
  showAllColumnsButton.setSelection(false);
  showAllColumnsButton.setEnabled(false);
  showAllColumnsButton.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      showAllColumns=showAllColumnsButton.getSelection();
      previewTableManager.createDataPreviewTableFromDataMatrix(dataMatrix,showAllColumns ? totalNumberOfColumns : MAX_PREVIEW_TABLE_COLUMNS);
      selectedColumnButtons=previewTableManager.getSelectedColumnButtons();
      previewTableManager.updateTableColors(dataSetDescription.getNumberOfHeaderLines(),dataSetDescription.getRowOfColumnIDs() + 1,dataSetDescription.getColumnOfRowIds() + 1);
      updateWidgetsAccordingToTableChanges();
      showAllColumnsButton.setSelection(showAllColumns);
    }
  }
);
  Label showAllColumnsLabel=new Label(tableInfoComposite,SWT.NONE);
  showAllColumnsLabel.setText("String_Node_Str");
}

Fixed version (ground truth):
/** 
 * Creates a composite that contains the   {@link #tableInfoLabel} and the{@link #showAllColumnsButton}.
 * @param parent
 */
protected void createTableInfo(Composite parent){
  Composite tableInfoComposite=new Composite(parent,SWT.NONE);
  tableInfoComposite.setLayout(new GridLayout(3,false));
  tableInfoComposite.setLayoutData(new GridData(SWT.RIGHT,SWT.FILL,false,true,2,1));
  tableInfoLabel=new Label(tableInfoComposite,SWT.NONE);
  tableInfoLabel.setLayoutData(new GridData(SWT.RIGHT,SWT.FILL,false,true));
  Label separator=new Label(tableInfoComposite,SWT.SEPARATOR | SWT.VERTICAL);
  GridData separatorGridData=new GridData(SWT.RIGHT,SWT.CENTER,false,false);
  separatorGridData.heightHint=16;
  separator.setLayoutData(separatorGridData);
  showAllColumnsButton=new Button(tableInfoComposite,SWT.CHECK);
  showAllColumnsButton.setSelection(false);
  showAllColumnsButton.setText("String_Node_Str");
  showAllColumnsButton.setLayoutData(new GridData(SWT.RIGHT,SWT.FILL,false,true));
  showAllColumnsButton.setEnabled(false);
  showAllColumnsButton.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent e){
      showAllColumns=showAllColumnsButton.getSelection();
      previewTableManager.createDataPreviewTableFromDataMatrix(dataMatrix,showAllColumns ? totalNumberOfColumns : MAX_PREVIEW_TABLE_COLUMNS);
      selectedColumnButtons=previewTableManager.getSelectedColumnButtons();
      previewTableManager.updateTableColors(dataSetDescription.getNumberOfHeaderLines(),dataSetDescription.getRowOfColumnIDs() + 1,dataSetDescription.getColumnOfRowIds() + 1);
      updateWidgetsAccordingToTableChanges();
      showAllColumnsButton.setSelection(showAllColumns);
    }
  }
);
}