Program: 76547
Project: 76547
Buggy source:
public Control createControl(Composite parent){
  container=new Composite(parent,SWT.NONE);
  FormLayout layout=new FormLayout();
  if (isFormStyle()) {
    layout.marginHeight=1;
    layout.marginWidth=2;
    layout.spacing=4;
  }
 else {
    layout.marginHeight=0;
    layout.marginWidth=0;
    layout.spacing=0;
  }
  container.setLayout(layout);
  Label label=FormWidgetFactory.getInstance().createLabel(container,isFormStyle());
  label.setText(provider.getDisplayName());
  if (isFormStyle())   spinner=FormWidgetFactory.getInstance().createSpinner(container);
 else   spinner=new Spinner(container,SWT.BORDER);
  spinner.setDigits(2);
  spinner.setMaximum(10000);
  spinner.setMinimum(-10000);
  spinner.setIncrement(25);
  spinner.setSelection(0);
  spinner.addSelectionListener(new SelectionListener(){
    public void widgetDefaultSelected(    SelectionEvent e){
      handleSelectedEvent();
    }
    public void widgetSelected(    SelectionEvent e){
      handleSelectedEvent();
    }
  }
);
  if (!isFormStyle())   combo=new CCombo(container,SWT.BORDER | SWT.READ_ONLY);
 else   combo=FormWidgetFactory.getInstance().createCCombo(container,true);
  combo.addSelectionListener(new SelectionAdapter(){
    public void widgetSelected(    SelectionEvent e){
      handleSelectedEvent();
    }
  }
);
  FormData data=new FormData();
  data.top=new FormAttachment(spinner,0,SWT.BOTTOM);
  data.left=new FormAttachment(spinner,0,SWT.LEFT);
  data.right=new FormAttachment(spinner,0,SWT.RIGHT);
  combo.setLayoutData(data);
  data=new FormData();
  data.top=new FormAttachment(label,0,SWT.BOTTOM);
  data.left=new FormAttachment(label,0,SWT.LEFT);
  data.right=new FormAttachment(100,-layout.spacing);
  spinner.setLayoutData(data);
  return container;
}

Fixed version (ground truth):
public Control createControl(Composite parent){
  container=new Composite(parent,SWT.NONE);
  FormLayout layout=new FormLayout();
  if (isFormStyle()) {
    layout.marginHeight=1;
    layout.marginWidth=2;
    layout.spacing=4;
  }
 else {
    layout.marginHeight=0;
    layout.marginWidth=0;
    layout.spacing=0;
  }
  container.setLayout(layout);
  Label label=FormWidgetFactory.getInstance().createLabel(container,isFormStyle());
  label.setText(provider.getDisplayName());
  if (isFormStyle())   spinner=FormWidgetFactory.getInstance().createSpinner(container);
 else   spinner=new Spinner(container,SWT.BORDER);
  spinner.setDigits(2);
  spinner.setMaximum(10000);
  spinner.setMinimum(-10000);
  spinner.setIncrement(25);
  spinner.setSelection(0);
  spinner.addSelectionListener(new SelectionListener(){
    public void widgetDefaultSelected(    SelectionEvent e){
      handleSelectedEvent();
    }
    public void widgetSelected(    SelectionEvent e){
      handleSelectedEvent();
    }
  }
);
  spinner.addKeyListener(new KeyListener(){
    public void keyPressed(    KeyEvent e){
      isKeyPressed=true;
      timer=new Timer();
      timer.schedule(new TimerTask(){
        public void run(){
          spinner.getDisplay().asyncExec(new Runnable(){
            public void run(){
              spinner.setEnabled(false);
              handleSelectedEvent();
              spinner.setEnabled(true);
            }
          }
);
        }
      }
,1200);
    }
    public void keyReleased(    KeyEvent e){
    }
  }
);
  if (!isFormStyle())   combo=new CCombo(container,SWT.BORDER | SWT.READ_ONLY);
 else   combo=FormWidgetFactory.getInstance().createCCombo(container,true);
  combo.addSelectionListener(new SelectionAdapter(){
    public void widgetSelected(    SelectionEvent e){
      handleSelectedEvent();
    }
  }
);
  FormData data=new FormData();
  data.top=new FormAttachment(spinner,0,SWT.BOTTOM);
  data.left=new FormAttachment(spinner,0,SWT.LEFT);
  data.right=new FormAttachment(spinner,0,SWT.RIGHT);
  combo.setLayoutData(data);
  data=new FormData();
  data.top=new FormAttachment(label,0,SWT.BOTTOM);
  data.left=new FormAttachment(label,0,SWT.LEFT);
  data.right=new FormAttachment(100,-layout.spacing);
  spinner.setLayoutData(data);
  return container;
}