Program: 24764
Project: 24764
Buggy source:
public void loadReadOnlyRequirementForm(){
  this.matrix.setWidget(0,0,getField(requirementTitleTextBox));
  this.matrix.getCellFormatter().setAlignment(0,0,HasHorizontalAlignment.ALIGN_LEFT,HasVerticalAlignment.ALIGN_TOP);
  this.matrix.getCellFormatter().setStyleName(0,0,"String_Node_Str");
  ((FlexCellFormatter)this.matrix.getCellFormatter()).setColSpan(0,0,2);
  this.matrix.setWidget(2,0,subGoalLabel);
  this.matrix.setWidget(3,0,artifactLabel);
  if (currentState.getMode() == GwtModesType.ReadWrite) {
    FlexTable bottonControlPanel=new FlexTable();
    bottonControlPanel.setWidth("String_Node_Str");
    bottonControlPanel.setWidget(0,0,editRequirement);
    bottonControlPanel.setWidget(1,0,deleteRequirement);
    bottonControlPanel.setWidget(2,0,new Label("String_Node_Str"));
    bottonControlPanel.setWidget(3,0,gotToSummary);
    bottonControlPanel.getCellFormatter().setHorizontalAlignment(0,0,HasHorizontalAlignment.ALIGN_LEFT);
    bottonControlPanel.getCellFormatter().setHorizontalAlignment(1,0,HasHorizontalAlignment.ALIGN_LEFT);
    bottonControlPanel.getCellFormatter().setHorizontalAlignment(2,0,HasHorizontalAlignment.ALIGN_LEFT);
    bottonControlPanel.getCellFormatter().setHorizontalAlignment(3,0,HasHorizontalAlignment.ALIGN_LEFT);
    this.getContent().add(bottonControlPanel);
  }
  this.editRequirement.addClickHandler(new ClickHandler(){
    public void onClick(    ClickEvent event){
      currentCommand=CommandTypes.update;
      PaneInitialization();
    }
  }
);
  this.deleteRequirement.addClickHandler(new ClickHandler(){
    public void onClick(    ClickEvent event){
      removeRequirement(currentRequirementId);
    }
  }
);
  this.gotToSummary.addClickHandler(new ClickHandler(){
    public void onClick(    ClickEvent event){
      History.newItem(ElicitSecurityRequirementsPilot.generateNavigationId(ElicitSecurityRequirementsPilot.PageId.requirementsSummary));
    }
  }
);
}

Fixed version (ground truth):
public void loadReadOnlyRequirementForm(){
  this.matrix.setWidget(0,0,getField(requirementTitleTextBox));
  this.matrix.getCellFormatter().setAlignment(0,0,HasHorizontalAlignment.ALIGN_LEFT,HasVerticalAlignment.ALIGN_TOP);
  this.matrix.getCellFormatter().setStyleName(0,0,"String_Node_Str");
  ((FlexCellFormatter)this.matrix.getCellFormatter()).setColSpan(0,0,2);
  this.matrix.setWidget(2,0,subGoalLabel);
  if (currentState.getMode() == GwtModesType.ReadWrite) {
    FlexTable bottonControlPanel=new FlexTable();
    bottonControlPanel.setWidth("String_Node_Str");
    bottonControlPanel.setWidget(0,0,editRequirement);
    bottonControlPanel.setWidget(1,0,deleteRequirement);
    bottonControlPanel.setWidget(2,0,new Label("String_Node_Str"));
    bottonControlPanel.setWidget(3,0,gotToSummary);
    bottonControlPanel.getCellFormatter().setHorizontalAlignment(0,0,HasHorizontalAlignment.ALIGN_LEFT);
    bottonControlPanel.getCellFormatter().setHorizontalAlignment(1,0,HasHorizontalAlignment.ALIGN_LEFT);
    bottonControlPanel.getCellFormatter().setHorizontalAlignment(2,0,HasHorizontalAlignment.ALIGN_LEFT);
    bottonControlPanel.getCellFormatter().setHorizontalAlignment(3,0,HasHorizontalAlignment.ALIGN_LEFT);
    this.getContent().add(bottonControlPanel);
  }
  this.editRequirement.addClickHandler(new ClickHandler(){
    public void onClick(    ClickEvent event){
      currentCommand=CommandTypes.update;
      PaneInitialization();
    }
  }
);
  this.deleteRequirement.addClickHandler(new ClickHandler(){
    public void onClick(    ClickEvent event){
      removeRequirement(currentRequirementId);
    }
  }
);
  this.gotToSummary.addClickHandler(new ClickHandler(){
    public void onClick(    ClickEvent event){
      History.newItem(ElicitSecurityRequirementsPilot.generateNavigationId(ElicitSecurityRequirementsPilot.PageId.requirementsSummary));
    }
  }
);
}