Program: 108106
Project: 108106
Buggy source:
/** 
 * Creates the context menu.
 */
private void initializeMenu(){
  menu=new Menu(parent.getShell());
  MenuItem item1=new MenuItem(menu,SWT.NONE);
  item1.setText(Resources.getMessage("String_Node_Str"));
  item1.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    final SelectionEvent arg0){
      model.getClipboard().addToClipboard(selectedNode);
      controller.update(new ModelEvent(ViewSolutionSpace.this,ModelPart.CLIPBOARD,selectedNode));
      model.setSelectedNode(selectedNode);
      controller.update(new ModelEvent(ViewSolutionSpace.this,ModelPart.SELECTED_NODE,selectedNode));
      actionRedraw();
    }
  }
);
  MenuItem item2=new MenuItem(menu,SWT.NONE);
  item2.setText(Resources.getMessage("String_Node_Str"));
  item2.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    final SelectionEvent arg0){
      controller.actionApplySelectedTransformation();
      model.setSelectedNode(selectedNode);
      controller.update(new ModelEvent(ViewSolutionSpace.this,ModelPart.SELECTED_NODE,selectedNode));
      actionRedraw();
    }
  }
);
  MenuItem item3=new MenuItem(menu,SWT.NONE);
  item3.setText(Resources.getMessage("String_Node_Str"));
  item3.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    final SelectionEvent arg0){
      model.setSelectedNode(selectedNode);
      controller.update(new ModelEvent(ViewSolutionSpace.this,ModelPart.SELECTED_NODE,selectedNode));
      controller.actionExpand(selectedNode);
      eventFilterChanged(model.getResult(),model.getNodeFilter());
    }
  }
);
}

Fixed version (ground truth):
/** 
 * Creates the context menu.
 */
private void initializeMenu(){
  menu=new Menu(parent.getShell());
  MenuItem item1=new MenuItem(menu,SWT.NONE);
  item1.setText(Resources.getMessage("String_Node_Str"));
  item1.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    final SelectionEvent arg0){
      model.getClipboard().addToClipboard(selectedNode);
      controller.update(new ModelEvent(ViewSolutionSpace.this,ModelPart.CLIPBOARD,selectedNode));
      model.setSelectedNode(selectedNode);
      controller.update(new ModelEvent(ViewSolutionSpace.this,ModelPart.SELECTED_NODE,selectedNode));
      actionRedraw();
    }
  }
);
  MenuItem item2=new MenuItem(menu,SWT.NONE);
  item2.setText(Resources.getMessage("String_Node_Str"));
  item2.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    final SelectionEvent arg0){
      controller.actionApplySelectedTransformation();
      model.setSelectedNode(selectedNode);
      controller.update(new ModelEvent(ViewSolutionSpace.this,ModelPart.SELECTED_NODE,selectedNode));
      actionRedraw();
    }
  }
);
  MenuItem item3=new MenuItem(menu,SWT.NONE);
  item3.setText(Resources.getMessage("String_Node_Str"));
  item3.addSelectionListener(new SelectionAdapter(){
    @Override public void widgetSelected(    final SelectionEvent arg0){
      model.setSelectedNode(selectedNode);
      controller.update(new ModelEvent(ViewSolutionSpace.this,ModelPart.SELECTED_NODE,selectedNode));
      controller.actionExpand(selectedNode);
      controller.update(new ModelEvent(ViewSolutionSpace.this,ModelPart.EXPAND,selectedNode));
      eventFilterChanged(model.getResult(),model.getNodeFilter());
    }
  }
);
}