Program: 108203
Project: 108203
Buggy source:
/** 
 * Creates a new instance.
 * @param parent
 * @param controller
 * @param layoutCriteria 
 */
public ViewCriteriaList(final Composite parent,final Controller controller,LayoutCriteria layoutCriteria){
  this.controller=controller;
  this.controller.addListener(ModelPart.CRITERION_DEFINITION,this);
  this.controller.addListener(ModelPart.MODEL,this);
  this.controller.addListener(ModelPart.ATTRIBUTE_TYPE,this);
  this.layout=layoutCriteria;
  this.symbolL=controller.getResources().getImage("String_Node_Str");
  this.symbolT=controller.getResources().getImage("String_Node_Str");
  this.symbolK=controller.getResources().getImage("String_Node_Str");
  this.symbolD=controller.getResources().getImage("String_Node_Str");
  this.symbolR=controller.getResources().getImage("String_Node_Str");
  this.root=parent;
  table=new DynamicTable(root,SWT.BORDER | SWT.SINGLE | SWT.V_SCROLL| SWT.FULL_SELECTION);
  table.setHeaderVisible(true);
  table.setMenu(new ClipboardHandlerTable(table).getMenu());
  table.addSelectionListener(new SelectionAdapter(){
    public void widgetSelected(    SelectionEvent arg0){
      layout.updateButtons();
    }
  }
);
  column1=new DynamicTableColumn(table,SWT.NONE);
  column1.setText("String_Node_Str");
  column1.setWidth("String_Node_Str","String_Node_Str");
  column2=new DynamicTableColumn(table,SWT.NONE);
  column2.setText(Resources.getMessage("String_Node_Str"));
  column2.setWidth("String_Node_Str","String_Node_Str");
  column3=new DynamicTableColumn(table,SWT.NONE);
  column3.setText(Resources.getMessage("String_Node_Str"));
  column3.setWidth("String_Node_Str","String_Node_Str");
  column1.pack();
  column2.pack();
  column3.pack();
  layout.updateButtons();
  reset();
}

Fixed version (ground truth):
/** 
 * Creates a new instance.
 * @param parent
 * @param controller
 * @param layoutCriteria 
 */
public ViewCriteriaList(final Composite parent,final Controller controller,LayoutCriteria layoutCriteria){
  this.controller=controller;
  this.controller.addListener(ModelPart.CRITERION_DEFINITION,this);
  this.controller.addListener(ModelPart.MODEL,this);
  this.controller.addListener(ModelPart.ATTRIBUTE_TYPE,this);
  this.layout=layoutCriteria;
  this.symbolL=controller.getResources().getImage("String_Node_Str");
  this.symbolT=controller.getResources().getImage("String_Node_Str");
  this.symbolK=controller.getResources().getImage("String_Node_Str");
  this.symbolD=controller.getResources().getImage("String_Node_Str");
  this.symbolR=controller.getResources().getImage("String_Node_Str");
  this.root=parent;
  table=new DynamicTable(root,SWT.BORDER | SWT.SINGLE | SWT.V_SCROLL| SWT.FULL_SELECTION);
  table.setHeaderVisible(true);
  table.setLinesVisible(true);
  SWTUtil.createGenericTooltip(table);
  table.setMenu(new ClipboardHandlerTable(table).getMenu());
  table.addSelectionListener(new SelectionAdapter(){
    public void widgetSelected(    SelectionEvent arg0){
      layout.updateButtons();
    }
  }
);
  column1=new DynamicTableColumn(table,SWT.NONE);
  column1.setText("String_Node_Str");
  column1.setWidth("String_Node_Str","String_Node_Str");
  column2=new DynamicTableColumn(table,SWT.NONE);
  column2.setText(Resources.getMessage("String_Node_Str"));
  column2.setWidth("String_Node_Str","String_Node_Str");
  column3=new DynamicTableColumn(table,SWT.NONE);
  column3.setText(Resources.getMessage("String_Node_Str"));
  column3.setWidth("String_Node_Str","String_Node_Str");
  column1.pack();
  column2.pack();
  column3.pack();
  layout.updateButtons();
  reset();
}