Program: 109001
Project: 109001
Buggy source:
private Composite build(final Composite parent){
  Composite group=new Composite(parent,SWT.NONE);
  group.setLayoutData(SWTUtil.createFillGridData());
  GridLayout groupInputGridLayout=new GridLayout();
  groupInputGridLayout.numColumns=2;
  group.setLayout(groupInputGridLayout);
  GridData gd1=SWTUtil.createFillGridData();
  gd1.grabExcessVerticalSpace=false;
  gd1.grabExcessHorizontalSpace=true;
  gd1.horizontalSpan=2;
  folder=new CTabFolder(group,SWT.TOP | SWT.BORDER | SWT.FLAT);
  folder.setUnselectedCloseVisible(false);
  folder.setSimple(true);
  folder.setTabHeight(25);
  folder.setLayoutData(gd1);
  folder.addCTabFolder2Listener(new CTabFolder2Adapter(){
    @Override public void close(    final CTabFolderEvent event){
      event.doit=false;
    }
  }
);
  final CTabItem tabKAnon=new CTabItem(folder,SWT.NULL);
  tabKAnon.setText(Resources.getMessage("String_Node_Str"));
  tabKAnon.setShowClose(false);
  KAnonymityView kanon=new KAnonymityView(folder,controller,model);
  tabKAnon.setControl(kanon.getControl());
  tabKAnon.setImage(controller.getResources().getImage("String_Node_Str"));
  folder.setSelection(tabKAnon);
  final CTabItem tabDPres=new CTabItem(folder,SWT.NULL);
  tabDPres.setText(Resources.getMessage("String_Node_Str"));
  tabDPres.setShowClose(false);
  tabDPres.setImage(controller.getResources().getImage("String_Node_Str"));
  DPresenceView dpres=new DPresenceView(folder,controller,model);
  tabDPres.setControl(dpres.getControl());
  final CTabItem tabLDiversity=new CTabItem(folder,SWT.NULL);
  tabLDiversity.setText(Resources.getMessage("String_Node_Str"));
  tabLDiversity.setShowClose(false);
  tabLDiversity.setImage(controller.getResources().getImage("String_Node_Str"));
  LDiversityView view=new LDiversityView(folder,controller,model);
  tabLDiversity.setControl(view.getControl());
  final CTabItem tabTcloseness=new CTabItem(folder,SWT.NULL);
  tabTcloseness.setText(Resources.getMessage("String_Node_Str"));
  tabTcloseness.setShowClose(false);
  tabTcloseness.setImage(controller.getResources().getImage("String_Node_Str"));
  TClosenessView view2=new TClosenessView(folder,controller,model);
  tabTcloseness.setControl(view2.getControl());
  folder.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent arg0){
      updateControlls();
    }
  }
);
  ToolBar toolbar=new ToolBar(folder,SWT.FLAT);
  enable=new ToolItem(toolbar,SWT.PUSH);
  enable.setImage(controller.getResources().getImage("String_Node_Str"));
  enable.setToolTipText(Resources.getMessage("String_Node_Str"));
  enable.setEnabled(false);
  enable.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent arg0){
      controller.actionCriterionEnable(getSelectedCriterion());
    }
  }
);
  push=new ToolItem(toolbar,SWT.PUSH);
  push.setImage(controller.getResources().getImage("String_Node_Str"));
  push.setToolTipText(Resources.getMessage("String_Node_Str"));
  push.setEnabled(false);
  push.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent arg0){
      controller.actionCriterionPush(getSelectedCriterion());
    }
  }
);
  pull=new ToolItem(toolbar,SWT.PUSH);
  pull.setImage(controller.getResources().getImage("String_Node_Str"));
  pull.setToolTipText(Resources.getMessage("String_Node_Str"));
  pull.setEnabled(false);
  pull.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent arg0){
      controller.actionCriterionPull(getSelectedCriterion());
    }
  }
);
  ToolItem help=new ToolItem(toolbar,SWT.PUSH);
  help.setImage(controller.getResources().getImage("String_Node_Str"));
  help.setToolTipText(Resources.getMessage("String_Node_Str"));
  folder.setTopRight(toolbar,SWT.RIGHT);
  int height=toolbar.computeSize(SWT.DEFAULT,SWT.DEFAULT).y;
  folder.setTabHeight(Math.max(height,folder.getTabHeight()));
  gd1=SWTUtil.createFillGridData();
  gd1.grabExcessVerticalSpace=false;
  gd1.horizontalSpan=2;
  CTabFolder folder2=new CTabFolder(group,SWT.TOP | SWT.BORDER | SWT.FLAT);
  folder2.setUnselectedCloseVisible(false);
  folder2.setSimple(true);
  folder2.setTabHeight(25);
  folder2.setLayoutData(gd1);
  SWTUtil.createHelpButton(controller,folder2,"String_Node_Str");
  folder2.addCTabFolder2Listener(new CTabFolder2Adapter(){
    @Override public void close(    final CTabFolderEvent event){
      event.doit=false;
    }
  }
);
  final CTabItem tabGeneral=new CTabItem(folder2,SWT.NULL);
  tabGeneral.setText("String_Node_Str");
  tabGeneral.setShowClose(false);
  group=new Composite(folder2,SWT.NONE);
  group.setLayoutData(SWTUtil.createFillGridData());
  groupInputGridLayout=new GridLayout();
  groupInputGridLayout.numColumns=3;
  group.setLayout(groupInputGridLayout);
  tabGeneral.setControl(group);
  final Label sLabel=new Label(group,SWT.PUSH);
  sLabel.setText(Resources.getMessage("String_Node_Str"));
  labelOutliers=new Label(group,SWT.BORDER | SWT.CENTER);
  GridData d2=new GridData();
  d2.minimumWidth=LABEL_WIDTH;
  d2.widthHint=LABEL_WIDTH;
  d2.heightHint=LABEL_HEIGHT;
  labelOutliers.setLayoutData(d2);
  labelOutliers.setText("String_Node_Str");
  sliderOutliers=new Scale(group,SWT.HORIZONTAL);
  sliderOutliers.setLayoutData(SWTUtil.createFillHorizontallyGridData());
  sliderOutliers.setMaximum(SLIDER_MAX);
  sliderOutliers.setMinimum(0);
  sliderOutliers.setSelection(0);
  sliderOutliers.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    final SelectionEvent arg0){
      model.getInputConfig().setAllowedOutliers(sliderToDouble(0d,0.999d,sliderOutliers.getSelection()));
      labelOutliers.setText(String.valueOf(model.getInputConfig().getAllowedOutliers()));
      if (model.getInputConfig().getAllowedOutliers() != 0) {
        buttonPracticalMonotonicity.setEnabled(true);
      }
 else {
        buttonPracticalMonotonicity.setSelection(false);
        buttonPracticalMonotonicity.setEnabled(false);
        model.getInputConfig().setPracticalMonotonicity(false);
      }
    }
  }
);
  final Label mLabel=new Label(group,SWT.PUSH);
  mLabel.setText(Resources.getMessage("String_Node_Str"));
  d2=new GridData();
  d2.heightHint=LABEL_HEIGHT;
  d2.minimumHeight=LABEL_HEIGHT;
  mLabel.setLayoutData(d2);
  final Composite mBase=new Composite(group,SWT.NONE);
  final GridData d8=SWTUtil.createFillHorizontallyGridData();
  d8.horizontalSpan=2;
  mBase.setLayoutData(d8);
  final GridLayout l=new GridLayout();
  l.numColumns=7;
  l.marginLeft=0;
  l.marginRight=0;
  l.marginBottom=0;
  l.marginTop=0;
  l.marginWidth=0;
  l.marginHeight=0;
  mBase.setLayout(l);
  comboMetric=new Combo(mBase,SWT.READ_ONLY);
  GridData d30=SWTUtil.createFillHorizontallyGridData();
  d30.verticalAlignment=SWT.CENTER;
  comboMetric.setLayoutData(d30);
  comboMetric.setItems(LABELS_METRIC);
  comboMetric.select(0);
  comboMetric.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    final SelectionEvent arg0){
      if (comboMetric.getSelectionIndex() != -1) {
        selectMetricAction(ITEMS_METRIC[comboMetric.getSelectionIndex()]);
      }
    }
  }
);
  final Label m2Label=new Label(group,SWT.PUSH);
  m2Label.setText(Resources.getMessage("String_Node_Str"));
  d2=new GridData();
  d2.heightHint=LABEL_HEIGHT;
  d2.minimumHeight=LABEL_HEIGHT;
  m2Label.setLayoutData(d2);
  final GridData d82=SWTUtil.createFillHorizontallyGridData();
  d82.horizontalSpan=2;
  buttonPracticalMonotonicity=new Button(group,SWT.CHECK);
  buttonPracticalMonotonicity.setText(Resources.getMessage("String_Node_Str"));
  buttonPracticalMonotonicity.setSelection(false);
  buttonPracticalMonotonicity.setEnabled(false);
  buttonPracticalMonotonicity.setLayoutData(d82);
  buttonPracticalMonotonicity.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    final SelectionEvent arg0){
      model.getInputConfig().setPracticalMonotonicity(buttonPracticalMonotonicity.getSelection());
    }
  }
);
  final Label m3Label=new Label(group,SWT.PUSH);
  m3Label.setText(Resources.getMessage("String_Node_Str"));
  d2=new GridData();
  d2.heightHint=LABEL_HEIGHT;
  d2.minimumHeight=LABEL_HEIGHT;
  m3Label.setLayoutData(d2);
  final GridData d83=SWTUtil.createFillHorizontallyGridData();
  d83.horizontalSpan=2;
  buttonProtectSensitiveAssociations=new Button(group,SWT.CHECK);
  buttonProtectSensitiveAssociations.setText(Resources.getMessage("String_Node_Str"));
  buttonProtectSensitiveAssociations.setSelection(true);
  buttonProtectSensitiveAssociations.setEnabled(false);
  buttonProtectSensitiveAssociations.setLayoutData(d83);
  buttonProtectSensitiveAssociations.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    final SelectionEvent arg0){
      model.getInputConfig().setProtectSensitiveAssociations(buttonProtectSensitiveAssociations.getSelection());
    }
  }
);
  final CTabItem tabOverview=new CTabItem(folder2,SWT.NULL);
  tabOverview.setText("String_Node_Str");
  tabOverview.setShowClose(false);
  clv=new CriteriaListView(folder2,controller,model);
  tabOverview.setControl(clv.getControl());
  folder2.setSelection(tabGeneral);
  return group;
}

Fixed version (ground truth):
private Composite build(final Composite parent){
  Composite group=new Composite(parent,SWT.NONE);
  group.setLayoutData(SWTUtil.createFillGridData());
  GridLayout groupInputGridLayout=new GridLayout();
  groupInputGridLayout.numColumns=2;
  group.setLayout(groupInputGridLayout);
  GridData gd1=SWTUtil.createFillGridData();
  gd1.grabExcessVerticalSpace=false;
  gd1.grabExcessHorizontalSpace=true;
  gd1.horizontalSpan=2;
  folder=new CTabFolder(group,SWT.TOP | SWT.BORDER | SWT.FLAT);
  folder.setUnselectedCloseVisible(false);
  folder.setSimple(true);
  folder.setTabHeight(25);
  folder.setLayoutData(gd1);
  folder.addCTabFolder2Listener(new CTabFolder2Adapter(){
    @Override public void close(    final CTabFolderEvent event){
      event.doit=false;
    }
  }
);
  final CTabItem tabKAnon=new CTabItem(folder,SWT.NULL);
  tabKAnon.setText(Resources.getMessage("String_Node_Str"));
  tabKAnon.setShowClose(false);
  KAnonymityView kanon=new KAnonymityView(folder,controller,model);
  tabKAnon.setControl(kanon.getControl());
  tabKAnon.setImage(controller.getResources().getImage("String_Node_Str"));
  folder.setSelection(tabKAnon);
  final CTabItem tabDPres=new CTabItem(folder,SWT.NULL);
  tabDPres.setText(Resources.getMessage("String_Node_Str"));
  tabDPres.setShowClose(false);
  tabDPres.setImage(controller.getResources().getImage("String_Node_Str"));
  DPresenceView dpres=new DPresenceView(folder,controller,model);
  tabDPres.setControl(dpres.getControl());
  final CTabItem tabLDiversity=new CTabItem(folder,SWT.NULL);
  tabLDiversity.setText(Resources.getMessage("String_Node_Str"));
  tabLDiversity.setShowClose(false);
  tabLDiversity.setImage(controller.getResources().getImage("String_Node_Str"));
  LDiversityView view=new LDiversityView(folder,controller,model);
  tabLDiversity.setControl(view.getControl());
  final CTabItem tabTcloseness=new CTabItem(folder,SWT.NULL);
  tabTcloseness.setText(Resources.getMessage("String_Node_Str"));
  tabTcloseness.setShowClose(false);
  tabTcloseness.setImage(controller.getResources().getImage("String_Node_Str"));
  TClosenessView view2=new TClosenessView(folder,controller,model);
  tabTcloseness.setControl(view2.getControl());
  folder.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent arg0){
      updateControlls();
    }
  }
);
  ToolBar toolbar=new ToolBar(folder,SWT.FLAT);
  enable=new ToolItem(toolbar,SWT.PUSH);
  enable.setImage(controller.getResources().getImage("String_Node_Str"));
  enable.setToolTipText(Resources.getMessage("String_Node_Str"));
  enable.setEnabled(false);
  enable.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent arg0){
      controller.actionCriterionEnable(getSelectedCriterion());
    }
  }
);
  push=new ToolItem(toolbar,SWT.PUSH);
  push.setImage(controller.getResources().getImage("String_Node_Str"));
  push.setToolTipText(Resources.getMessage("String_Node_Str"));
  push.setEnabled(false);
  push.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent arg0){
      controller.actionCriterionPush(getSelectedCriterion());
    }
  }
);
  pull=new ToolItem(toolbar,SWT.PUSH);
  pull.setImage(controller.getResources().getImage("String_Node_Str"));
  pull.setToolTipText(Resources.getMessage("String_Node_Str"));
  pull.setEnabled(false);
  pull.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent arg0){
      controller.actionCriterionPull(getSelectedCriterion());
    }
  }
);
  ToolItem help=new ToolItem(toolbar,SWT.PUSH);
  help.setImage(controller.getResources().getImage("String_Node_Str"));
  help.setToolTipText(Resources.getMessage("String_Node_Str"));
  folder.setTopRight(toolbar,SWT.RIGHT);
  int height=toolbar.computeSize(SWT.DEFAULT,SWT.DEFAULT).y;
  folder.setTabHeight(Math.max(height,folder.getTabHeight()));
  gd1=SWTUtil.createFillGridData();
  gd1.grabExcessVerticalSpace=false;
  gd1.horizontalSpan=2;
  CTabFolder folder2=new CTabFolder(group,SWT.TOP | SWT.BORDER | SWT.FLAT);
  folder2.setUnselectedCloseVisible(false);
  folder2.setSimple(true);
  folder2.setTabHeight(25);
  folder2.setLayoutData(gd1);
  SWTUtil.createHelpButton(controller,folder2,"String_Node_Str");
  folder2.addCTabFolder2Listener(new CTabFolder2Adapter(){
    @Override public void close(    final CTabFolderEvent event){
      event.doit=false;
    }
  }
);
  final CTabItem tabGeneral=new CTabItem(folder2,SWT.NULL);
  tabGeneral.setText("String_Node_Str");
  tabGeneral.setShowClose(false);
  group=new Composite(folder2,SWT.NONE);
  group.setLayoutData(SWTUtil.createFillGridData());
  groupInputGridLayout=new GridLayout();
  groupInputGridLayout.numColumns=3;
  group.setLayout(groupInputGridLayout);
  tabGeneral.setControl(group);
  final Label sLabel=new Label(group,SWT.PUSH);
  sLabel.setText(Resources.getMessage("String_Node_Str"));
  labelOutliers=new Label(group,SWT.BORDER | SWT.CENTER);
  GridData d2=new GridData();
  d2.minimumWidth=LABEL_WIDTH;
  d2.widthHint=LABEL_WIDTH;
  d2.heightHint=LABEL_HEIGHT;
  labelOutliers.setLayoutData(d2);
  labelOutliers.setText("String_Node_Str");
  sliderOutliers=new Scale(group,SWT.HORIZONTAL);
  sliderOutliers.setLayoutData(SWTUtil.createFillHorizontallyGridData());
  sliderOutliers.setMaximum(SLIDER_MAX);
  sliderOutliers.setMinimum(0);
  sliderOutliers.setSelection(0);
  sliderOutliers.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    final SelectionEvent arg0){
      model.getInputConfig().setAllowedOutliers(sliderToDouble(0d,0.999d,sliderOutliers.getSelection()));
      labelOutliers.setText(String.valueOf(model.getInputConfig().getAllowedOutliers()));
      if (model.getInputConfig().getAllowedOutliers() != 0) {
        buttonPracticalMonotonicity.setEnabled(true);
      }
 else {
        buttonPracticalMonotonicity.setSelection(false);
        buttonPracticalMonotonicity.setEnabled(false);
        model.getInputConfig().setPracticalMonotonicity(false);
      }
    }
  }
);
  final Label mLabel=new Label(group,SWT.PUSH);
  mLabel.setText(Resources.getMessage("String_Node_Str"));
  d2=new GridData();
  d2.heightHint=LABEL_HEIGHT;
  d2.minimumHeight=LABEL_HEIGHT;
  mLabel.setLayoutData(d2);
  final Composite mBase=new Composite(group,SWT.NONE);
  final GridData d8=SWTUtil.createFillHorizontallyGridData();
  d8.horizontalSpan=2;
  mBase.setLayoutData(d8);
  final GridLayout l=new GridLayout();
  l.numColumns=7;
  l.marginLeft=0;
  l.marginRight=0;
  l.marginBottom=0;
  l.marginTop=0;
  l.marginWidth=0;
  l.marginHeight=0;
  mBase.setLayout(l);
  comboMetric=new Combo(mBase,SWT.READ_ONLY);
  GridData d30=SWTUtil.createFillHorizontallyGridData();
  d30.verticalAlignment=SWT.CENTER;
  comboMetric.setLayoutData(d30);
  comboMetric.setItems(LABELS_METRIC);
  comboMetric.select(0);
  comboMetric.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    final SelectionEvent arg0){
      if (comboMetric.getSelectionIndex() != -1) {
        selectMetricAction(ITEMS_METRIC[comboMetric.getSelectionIndex()]);
      }
    }
  }
);
  final Label m2Label=new Label(group,SWT.PUSH);
  m2Label.setText(Resources.getMessage("String_Node_Str"));
  d2=new GridData();
  d2.heightHint=LABEL_HEIGHT;
  d2.minimumHeight=LABEL_HEIGHT;
  m2Label.setLayoutData(d2);
  final GridData d82=SWTUtil.createFillHorizontallyGridData();
  d82.horizontalSpan=2;
  buttonPracticalMonotonicity=new Button(group,SWT.CHECK);
  buttonPracticalMonotonicity.setText(Resources.getMessage("String_Node_Str"));
  buttonPracticalMonotonicity.setSelection(false);
  buttonPracticalMonotonicity.setEnabled(false);
  buttonPracticalMonotonicity.setLayoutData(d82);
  buttonPracticalMonotonicity.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    final SelectionEvent arg0){
      model.getInputConfig().setPracticalMonotonicity(buttonPracticalMonotonicity.getSelection());
    }
  }
);
  final Label m3Label=new Label(group,SWT.PUSH);
  m3Label.setText(Resources.getMessage("String_Node_Str"));
  d2=new GridData();
  d2.heightHint=LABEL_HEIGHT;
  d2.minimumHeight=LABEL_HEIGHT;
  m3Label.setLayoutData(d2);
  final GridData d83=SWTUtil.createFillHorizontallyGridData();
  d83.horizontalSpan=2;
  buttonProtectSensitiveAssociations=new Button(group,SWT.CHECK);
  buttonProtectSensitiveAssociations.setText(Resources.getMessage("String_Node_Str"));
  buttonProtectSensitiveAssociations.setSelection(true);
  buttonProtectSensitiveAssociations.setEnabled(false);
  buttonProtectSensitiveAssociations.setLayoutData(d83);
  buttonProtectSensitiveAssociations.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    final SelectionEvent arg0){
      model.getInputConfig().setProtectSensitiveAssociations(buttonProtectSensitiveAssociations.getSelection());
    }
  }
);
  final CTabItem tabOverview=new CTabItem(folder2,SWT.NULL);
  tabOverview.setText("String_Node_Str");
  tabOverview.setShowClose(false);
  clv=new CriteriaListView(folder2,controller);
  tabOverview.setControl(clv.getControl());
  folder2.setSelection(tabGeneral);
  return group;
}