Program: 91812
Project: 91812
Buggy source:
@Override public void createControl(Composite parent){
  options=new LaunchOptions();
  Composite top=new Composite(parent,SWT.NONE);
  setControl(top);
  top.setLayout(new GridLayout());
  GridData data;
  GridLayout layout;
  createVerticalSpacer(top,1);
  Composite p=new Composite(top,SWT.NONE);
  layout=new GridLayout();
  layout.numColumns=2;
  layout.marginHeight=0;
  layout.marginWidth=0;
  p.setLayout(layout);
  data=new GridData(GridData.FILL_HORIZONTAL);
  p.setLayoutData(data);
  Label l2=new Label(p,SWT.NONE);
  l2.setText(OprofileLaunchMessages.getString("String_Node_Str"));
  data=new GridData();
  data.horizontalSpan=2;
  l2.setLayoutData(data);
  controlCombo=new CCombo(p,SWT.DROP_DOWN | SWT.READ_ONLY | SWT.BORDER);
  List<String> tools=Arrays.asList(OprofileProject.OPERF_BINARY);
  try {
    Process proc=RuntimeProcessFactory.getFactory().exec(new String[]{"String_Node_Str",OprofileProject.OPCONTROL_BINARY},null);
    if (proc.waitFor() == 0) {
      tools.add(OprofileProject.OPCONTROL_BINARY);
    }
  }
 catch (  Exception e) {
  }
  controlCombo.setItems(tools.toArray(new String[0]));
  controlCombo.select(0);
  controlCombo.addModifyListener(new ModifyListener(){
    @Override public void modifyText(    ModifyEvent mev){
      OprofileProject.setProfilingBinary(controlCombo.getText());
      options.setOprofileComboText(controlCombo.getText());
      if (controlCombo.getText().equals(OprofileProject.OPERF_BINARY)) {
        checkSeparateLibrary.setEnabled(false);
        checkSeparateKernel.setEnabled(false);
        kernelImageFileText.setEnabled(false);
        kernelLabel.setEnabled(false);
      }
 else {
        checkSeparateLibrary.setEnabled(true);
        checkSeparateKernel.setEnabled(true);
        kernelImageFileText.setEnabled(true);
        kernelLabel.setEnabled(true);
      }
      updateLaunchConfigurationDialog();
    }
  }
);
  data=new GridData();
  data.horizontalSpan=2;
  controlCombo.setLayoutData(data);
  kernelLabel=new Label(p,SWT.NONE);
  kernelLabel.setText(OprofileLaunchMessages.getString("String_Node_Str"));
  kernelLabel.setEnabled(false);
  data=new GridData();
  data.horizontalSpan=2;
  kernelLabel.setLayoutData(data);
  kernelImageFileText=new Text(p,SWT.SINGLE | SWT.BORDER);
  data=new GridData(GridData.FILL_HORIZONTAL);
  kernelImageFileText.setLayoutData(data);
  kernelImageFileText.addModifyListener(new ModifyListener(){
    @Override public void modifyText(    ModifyEvent mev){
      handleKernelImageFileTextModify(kernelImageFileText);
    }
  }
);
  Button button=createPushButton(p,OprofileLaunchMessages.getString("String_Node_Str"),null);
  final Shell shell=top.getShell();
  button.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent sev){
      showFileDialog(shell);
    }
  }
);
  createVerticalSpacer(top,1);
  p=new Composite(top,SWT.NONE);
  layout=new GridLayout();
  layout.numColumns=1;
  layout.marginHeight=0;
  layout.marginWidth=0;
  p.setLayout(layout);
  data=new GridData(GridData.FILL_HORIZONTAL);
  data.horizontalSpan=2;
  p.setLayoutData(data);
  checkSeparateLibrary=myCreateCheckButton(p,OprofileLaunchMessages.getString("String_Node_Str"));
  checkSeparateKernel=myCreateCheckButton(p,OprofileLaunchMessages.getString("String_Node_Str"));
  Composite executionsComposite=new Composite(top,SWT.NONE);
  GridLayout gridLayout=new GridLayout(2,false);
  executionsComposite.setLayout(gridLayout);
  Label executionsLabel=new Label(executionsComposite,SWT.LEFT);
  executionsLabel.setText(OprofileLaunchMessages.getString("String_Node_Str"));
  executionsLabel.setToolTipText(OprofileLaunchMessages.getString("String_Node_Str"));
  executionsSpinner=new Spinner(executionsComposite,SWT.BORDER);
  executionsSpinner.setMinimum(1);
  executionsSpinner.addModifyListener(new ModifyListener(){
    @Override public void modifyText(    ModifyEvent e){
      options.setExecutionsNumber(executionsSpinner.getSelection());
      updateLaunchConfigurationDialog();
    }
  }
);
}

Fixed version (ground truth):
@Override public void createControl(Composite parent){
  options=new LaunchOptions();
  Composite top=new Composite(parent,SWT.NONE);
  setControl(top);
  top.setLayout(new GridLayout());
  GridData data;
  GridLayout layout;
  createVerticalSpacer(top,1);
  Composite p=new Composite(top,SWT.NONE);
  layout=new GridLayout();
  layout.numColumns=2;
  layout.marginHeight=0;
  layout.marginWidth=0;
  p.setLayout(layout);
  data=new GridData(GridData.FILL_HORIZONTAL);
  p.setLayoutData(data);
  Label l2=new Label(p,SWT.NONE);
  l2.setText(OprofileLaunchMessages.getString("String_Node_Str"));
  data=new GridData();
  data.horizontalSpan=2;
  l2.setLayoutData(data);
  controlCombo=new CCombo(p,SWT.DROP_DOWN | SWT.READ_ONLY | SWT.BORDER);
  List<String> tools=new ArrayList<>(Arrays.asList(OprofileProject.OPERF_BINARY));
  try {
    Process proc=RuntimeProcessFactory.getFactory().exec(new String[]{"String_Node_Str",OprofileProject.OPCONTROL_BINARY},null);
    if (proc.waitFor() == 0) {
      tools.add(OprofileProject.OPCONTROL_BINARY);
    }
  }
 catch (  Exception e) {
  }
  controlCombo.setItems(tools.toArray(new String[0]));
  controlCombo.select(0);
  controlCombo.addModifyListener(new ModifyListener(){
    @Override public void modifyText(    ModifyEvent mev){
      OprofileProject.setProfilingBinary(controlCombo.getText());
      options.setOprofileComboText(controlCombo.getText());
      if (controlCombo.getText().equals(OprofileProject.OPERF_BINARY)) {
        checkSeparateLibrary.setEnabled(false);
        checkSeparateKernel.setEnabled(false);
        kernelImageFileText.setEnabled(false);
        kernelLabel.setEnabled(false);
      }
 else {
        checkSeparateLibrary.setEnabled(true);
        checkSeparateKernel.setEnabled(true);
        kernelImageFileText.setEnabled(true);
        kernelLabel.setEnabled(true);
      }
      updateLaunchConfigurationDialog();
    }
  }
);
  data=new GridData();
  data.horizontalSpan=2;
  controlCombo.setLayoutData(data);
  kernelLabel=new Label(p,SWT.NONE);
  kernelLabel.setText(OprofileLaunchMessages.getString("String_Node_Str"));
  kernelLabel.setEnabled(false);
  data=new GridData();
  data.horizontalSpan=2;
  kernelLabel.setLayoutData(data);
  kernelImageFileText=new Text(p,SWT.SINGLE | SWT.BORDER);
  data=new GridData(GridData.FILL_HORIZONTAL);
  kernelImageFileText.setLayoutData(data);
  kernelImageFileText.addModifyListener(new ModifyListener(){
    @Override public void modifyText(    ModifyEvent mev){
      handleKernelImageFileTextModify(kernelImageFileText);
    }
  }
);
  Button button=createPushButton(p,OprofileLaunchMessages.getString("String_Node_Str"),null);
  final Shell shell=top.getShell();
  button.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    SelectionEvent sev){
      showFileDialog(shell);
    }
  }
);
  createVerticalSpacer(top,1);
  p=new Composite(top,SWT.NONE);
  layout=new GridLayout();
  layout.numColumns=1;
  layout.marginHeight=0;
  layout.marginWidth=0;
  p.setLayout(layout);
  data=new GridData(GridData.FILL_HORIZONTAL);
  data.horizontalSpan=2;
  p.setLayoutData(data);
  checkSeparateLibrary=myCreateCheckButton(p,OprofileLaunchMessages.getString("String_Node_Str"));
  checkSeparateKernel=myCreateCheckButton(p,OprofileLaunchMessages.getString("String_Node_Str"));
  Composite executionsComposite=new Composite(top,SWT.NONE);
  GridLayout gridLayout=new GridLayout(2,false);
  executionsComposite.setLayout(gridLayout);
  Label executionsLabel=new Label(executionsComposite,SWT.LEFT);
  executionsLabel.setText(OprofileLaunchMessages.getString("String_Node_Str"));
  executionsLabel.setToolTipText(OprofileLaunchMessages.getString("String_Node_Str"));
  executionsSpinner=new Spinner(executionsComposite,SWT.BORDER);
  executionsSpinner.setMinimum(1);
  executionsSpinner.addModifyListener(new ModifyListener(){
    @Override public void modifyText(    ModifyEvent e){
      options.setExecutionsNumber(executionsSpinner.getSelection());
      updateLaunchConfigurationDialog();
    }
  }
);
}