Program: 108265
Project: 108265
Buggy source:
/** 
 * Creates a new instance.
 * @param parent
 * @param controller
 */
public ViewFilter(final Composite parent,final Controller controller){
  this.controller=controller;
  this.controller.addListener(ModelPart.RESULT,this);
  this.controller.addListener(ModelPart.INPUT,this);
  this.controller.addListener(ModelPart.MODEL,this);
  this.controller.addListener(ModelPart.FILTER,this);
  IMG_RESET=controller.getResources().getImage("String_Node_Str");
  IMG_OPTIMUM=controller.getResources().getImage("String_Node_Str");
  ComponentTitledFolderButton bar=new ComponentTitledFolderButton("String_Node_Str");
  bar.add("String_Node_Str",IMG_OPTIMUM,new Runnable(){
    public void run(){
      actionShowOptimum();
    }
  }
);
  bar.add("String_Node_Str",IMG_RESET,new Runnable(){
    public void run(){
      actionReset();
    }
  }
);
  ComponentTitledFolder border=new ComponentTitledFolder(parent,controller,bar,null);
  border.setLayoutData(SWTUtil.createFillGridData());
  root=border.createItem(Resources.getMessage("String_Node_Str"),null);
  GridLayout groupLayout=new GridLayout();
  groupLayout.numColumns=2;
  root.setLayout(groupLayout);
  create(root);
  border.setSelection(0);
  border.setEnabled(true);
  reset();
  parent.getDisplay().timerExec(SCALE_UPDATE_INTERVAL,new Runnable(){
    public void run(){
synchronized (fireEvent) {
        if (fireEvent) {
          fireEvent=false;
          actionInfoLossChanged();
        }
      }
      parent.getDisplay().timerExec(SCALE_UPDATE_INTERVAL,this);
    }
  }
);
}

Fixed version (ground truth):
/** 
 * Creates a new instance.
 * @param parent
 * @param controller
 */
public ViewFilter(final Composite parent,final Controller controller){
  this.controller=controller;
  this.controller.addListener(ModelPart.RESULT,this);
  this.controller.addListener(ModelPart.INPUT,this);
  this.controller.addListener(ModelPart.MODEL,this);
  this.controller.addListener(ModelPart.FILTER,this);
  IMG_RESET=controller.getResources().getImage("String_Node_Str");
  IMG_OPTIMUM=controller.getResources().getImage("String_Node_Str");
  ComponentTitledFolderButton bar=new ComponentTitledFolderButton("String_Node_Str");
  bar.add("String_Node_Str",IMG_OPTIMUM,new Runnable(){
    public void run(){
      actionShowOptimum();
    }
  }
);
  bar.add("String_Node_Str",IMG_RESET,new Runnable(){
    public void run(){
      actionReset();
    }
  }
);
  ComponentTitledFolder border=new ComponentTitledFolder(parent,controller,bar,null);
  border.setLayoutData(SWTUtil.createFillGridData());
  root=border.createItem(Resources.getMessage("String_Node_Str"),null);
  GridLayout groupLayout=new GridLayout();
  groupLayout.numColumns=2;
  root.setLayout(groupLayout);
  create(root);
  border.setSelection(0);
  border.setEnabled(true);
  reset();
  parent.getDisplay().timerExec(SCALE_UPDATE_INTERVAL,new Runnable(){
    public void run(){
synchronized (fireEvent) {
        if (fireEvent) {
          fireEvent=false;
          actionInfoLossChanged();
        }
      }
      if (!parent.isDisposed() && !parent.getDisplay().isDisposed()) {
        parent.getDisplay().timerExec(SCALE_UPDATE_INTERVAL,this);
      }
    }
  }
);
}