Program: 76180
Project: 76180
Buggy source:
/** 
 * Creates the table in custom page.
 * @param parent Parent contains the table.
 */
private void createTable(Composite parent){
  table=new Table(parent,SWT.FULL_SELECTION | SWT.HIDE_SELECTION | SWT.BORDER| SWT.V_SCROLL| SWT.H_SCROLL);
  GridData data=new GridData(GridData.FILL_BOTH);
  data.horizontalSpan=2;
  if (pageAlignment == PAGE_ALIGN_HORIZONTAL) {
    data.widthHint=240;
  }
  table.setLayoutData(data);
  table.setLinesVisible(true);
  table.setHeaderVisible(true);
  table.addSelectionListener(new SelectionAdapter(){
    public void widgetSelected(    SelectionEvent e){
      String displayName=((TableItem)e.item).getText(FORMAT_TYPE_INDEX);
      String category=ChoiceSetFactory.getStructPropValue(DateTimeFormatValue.FORMAT_VALUE_STRUCT,DateTimeFormatValue.CATEGORY_MEMBER,displayName);
      formatCode.setText(FormatDateTimePattern.getFormatCodeForCategory(category));
      updatePreview();
      notifyFormatChange();
    }
  }
);
  TableColumn tableColumValue=new TableColumn(table,SWT.NONE);
  tableColumValue.setText(LABEL_TABLE_COLUMN_EXAMPLE_FORMAT_NAME);
  tableColumValue.setWidth(90);
  tableColumValue.setResizable(true);
  TableColumn tableColumnDisplay=new TableColumn(table,SWT.NONE);
  tableColumnDisplay.setText(LABEL_TABLE_COLUMN_EXAMPLE_FORMAT_RESULT);
  tableColumnDisplay.setWidth(120);
  tableColumnDisplay.setResizable(true);
  TableColumn tableColumnFormatCode=new TableColumn(table,SWT.NONE);
  tableColumnFormatCode.setText(LABEL_TABLE_COLUMN_EXAMPLE_FORMAT_CODE);
  tableColumnFormatCode.setWidth(120);
  tableColumnFormatCode.setResizable(true);
  for (int i=0; i < DATETIME_FORMAT_TYPES.length; i++) {
    new TableItem(table,SWT.NONE).setText(new String[]{getDisplayName4Category(DATETIME_FORMAT_TYPES[i]),new DateFormatter(FormatDateTimePattern.getPatternForCategory(DATETIME_FORMAT_TYPES[i])).format(defaultDate),FormatDateTimePattern.getFormatCodeForCategory(DATETIME_FORMAT_TYPES[i])});
  }
}

Fixed version (ground truth):
/** 
 * Creates the table in custom page.
 * @param parent Parent contains the table.
 */
private void createTable(Composite parent){
  table=new Table(parent,SWT.FULL_SELECTION | SWT.HIDE_SELECTION | SWT.BORDER| SWT.V_SCROLL| SWT.H_SCROLL);
  GridData data=new GridData(GridData.FILL_BOTH);
  data.horizontalSpan=2;
  if (pageAlignment == PAGE_ALIGN_HORIZONTAL) {
    data.widthHint=240;
  }
  table.setLayoutData(data);
  table.setLinesVisible(true);
  table.setHeaderVisible(true);
  table.addSelectionListener(new SelectionAdapter(){
    public void widgetSelected(    SelectionEvent e){
      formatCode.setText(((TableItem)e.item).getText(FORMAT_CODE_INDEX));
      updatePreview();
      notifyFormatChange();
    }
  }
);
  TableColumn tableColumValue=new TableColumn(table,SWT.NONE);
  tableColumValue.setText(LABEL_TABLE_COLUMN_EXAMPLE_FORMAT_NAME);
  tableColumValue.setWidth(90);
  tableColumValue.setResizable(true);
  TableColumn tableColumnDisplay=new TableColumn(table,SWT.NONE);
  tableColumnDisplay.setText(LABEL_TABLE_COLUMN_EXAMPLE_FORMAT_RESULT);
  tableColumnDisplay.setWidth(120);
  tableColumnDisplay.setResizable(true);
  TableColumn tableColumnFormatCode=new TableColumn(table,SWT.NONE);
  tableColumnFormatCode.setText(LABEL_TABLE_COLUMN_EXAMPLE_FORMAT_CODE);
  tableColumnFormatCode.setWidth(120);
  tableColumnFormatCode.setResizable(true);
  for (int i=0; i < DATETIME_FORMAT_TYPES.length; i++) {
    new TableItem(table,SWT.NONE).setText(new String[]{getDisplayName4Category(DATETIME_FORMAT_TYPES[i]),new DateFormatter(FormatDateTimePattern.getPatternForCategory(DATETIME_FORMAT_TYPES[i])).format(defaultDate),new DateFormatter(FormatDateTimePattern.getPatternForCategory(DATETIME_FORMAT_TYPES[i])).getFormatCode()});
  }
}