Program: 72219
Project: 72219
Buggy source:
/** 
 * Layouts widgets for Full UI type.
 */
protected void fullLayout(){
  FormLayout layout=new FormLayout();
  layout.marginHeight=WidgetUtil.SPACING;
  layout.marginWidth=WidgetUtil.SPACING;
  layout.spacing=WidgetUtil.SPACING;
  setLayout(layout);
  int btnWidth=60;
  int height=QUICK_BUTTON_HEIGHT - 2;
  FormData data=new FormData();
  data.right=new FormAttachment(100);
  data.top=new FormAttachment(0,height);
  data.width=Math.max(btnWidth,btnAdd.computeSize(SWT.DEFAULT,SWT.DEFAULT,true).x);
  btnAdd.setLayoutData(data);
  data=new FormData();
  data.top=new FormAttachment(btnAdd,0,SWT.BOTTOM);
  data.left=new FormAttachment(btnAdd,0,SWT.LEFT);
  data.width=Math.max(btnWidth,btnEdit.computeSize(SWT.DEFAULT,SWT.DEFAULT,true).x);
  btnEdit.setLayoutData(data);
  data=new FormData();
  data.top=new FormAttachment(btnEdit,0,SWT.BOTTOM);
  data.left=new FormAttachment(btnEdit,0,SWT.LEFT);
  data.width=Math.max(btnWidth,btnDel.computeSize(SWT.DEFAULT,SWT.DEFAULT,true).x);
  btnDel.setLayoutData(data);
  data=new FormData();
  data.top=new FormAttachment(btnDel,0,SWT.BOTTOM);
  data.left=new FormAttachment(btnDel,0,SWT.LEFT);
  data.width=Math.max(btnWidth,btnUp.computeSize(SWT.DEFAULT,SWT.DEFAULT,true).x);
  btnUp.setLayoutData(data);
  data=new FormData();
  data.top=new FormAttachment(btnUp,0,SWT.BOTTOM);
  data.left=new FormAttachment(btnUp,0,SWT.LEFT);
  data.width=Math.max(btnWidth,btnDown.computeSize(SWT.DEFAULT,SWT.DEFAULT,true).x);
  btnDown.setLayoutData(data);
  data=new FormData();
  data.top=new FormAttachment(btnAdd,0,SWT.TOP);
  data.bottom=new FormAttachment(100);
  data.left=new FormAttachment(0,0);
  data.right=new FormAttachment(btnAdd,0,SWT.LEFT);
  table.setLayoutData(data);
}

Fixed version (ground truth):
/** 
 * Layouts widgets for Full UI type.
 */
protected void fullLayout(){
  FormLayout layout=new FormLayout();
  layout.marginHeight=WidgetUtil.SPACING;
  layout.marginWidth=WidgetUtil.SPACING;
  layout.spacing=WidgetUtil.SPACING;
  setLayout(layout);
  int maxWidth=0;
  int btnWidth=60;
  int height=QUICK_BUTTON_HEIGHT - 2;
  FormData data=new FormData();
  data.right=new FormAttachment(100);
  data.top=new FormAttachment(0,height);
  data.width=Math.max(btnWidth,btnAdd.computeSize(SWT.DEFAULT,SWT.DEFAULT,true).x);
  maxWidth=maxWidth < data.width ? data.width : maxWidth;
  btnAdd.setLayoutData(data);
  data=new FormData();
  data.top=new FormAttachment(btnAdd,0,SWT.BOTTOM);
  data.left=new FormAttachment(btnAdd,0,SWT.LEFT);
  data.width=Math.max(btnWidth,btnEdit.computeSize(SWT.DEFAULT,SWT.DEFAULT,true).x);
  maxWidth=maxWidth < data.width ? data.width : maxWidth;
  btnEdit.setLayoutData(data);
  data=new FormData();
  data.top=new FormAttachment(btnEdit,0,SWT.BOTTOM);
  data.left=new FormAttachment(btnEdit,0,SWT.LEFT);
  data.width=Math.max(btnWidth,btnDel.computeSize(SWT.DEFAULT,SWT.DEFAULT,true).x);
  maxWidth=maxWidth < data.width ? data.width : maxWidth;
  btnDel.setLayoutData(data);
  data=new FormData();
  data.top=new FormAttachment(btnDel,0,SWT.BOTTOM);
  data.left=new FormAttachment(btnDel,0,SWT.LEFT);
  data.width=Math.max(btnWidth,btnUp.computeSize(SWT.DEFAULT,SWT.DEFAULT,true).x);
  maxWidth=maxWidth < data.width ? data.width : maxWidth;
  btnUp.setLayoutData(data);
  data=new FormData();
  data.top=new FormAttachment(btnUp,0,SWT.BOTTOM);
  data.left=new FormAttachment(btnUp,0,SWT.LEFT);
  data.width=Math.max(btnWidth,btnDown.computeSize(SWT.DEFAULT,SWT.DEFAULT,true).x);
  maxWidth=maxWidth < data.width ? data.width : maxWidth;
  btnDown.setLayoutData(data);
  int addWidth=((FormData)btnAdd.getLayoutData()).width;
  if (maxWidth > addWidth) {
    ((FormData)btnAdd.getLayoutData()).right=new FormAttachment(100,addWidth - maxWidth);
  }
  data=new FormData();
  data.top=new FormAttachment(btnAdd,0,SWT.TOP);
  data.bottom=new FormAttachment(100);
  data.left=new FormAttachment(0);
  data.right=new FormAttachment(btnAdd,0,SWT.LEFT);
  table.setLayoutData(data);
}