Program: 3386
Project: 3386
Buggy source:
public void addBody(Body body) throws SAXException, WingException, UIException, SQLException, IOException, AuthorizeException {
  Item item=submission.getItem();
  Collection collection=submission.getCollection();
  String actionURL=IdentifierService.getURL(collection).toString() + "String_Node_Str";
  int state=((WorkflowItem)submission).getState();
  Request request=ObjectModelHelper.getRequest(objectModel);
  String showfull=request.getParameter("String_Node_Str");
  if (showfull != null && request.getParameter("String_Node_Str") != null)   showfull=null;
  Division div=body.addInteractiveDivision("String_Node_Str",actionURL,Division.METHOD_POST,"String_Node_Str");
  div.setHead(T_workflow_head);
  if (showfull == null) {
    ReferenceSet referenceSet=div.addReferenceSet("String_Node_Str",ReferenceSet.TYPE_SUMMARY_VIEW);
    referenceSet.addReference(item);
    div.addPara().addButton("String_Node_Str").setValue(T_showfull);
  }
 else {
    ReferenceSet referenceSet=div.addReferenceSet("String_Node_Str",ReferenceSet.TYPE_DETAIL_VIEW);
    referenceSet.addReference(item);
    div.addPara().addButton("String_Node_Str").setValue(T_showsimple);
    div.addHidden("String_Node_Str").setValue("String_Node_Str");
  }
  Table table=div.addTable("String_Node_Str",1,1);
  table.setHead(T_info1);
  Row row;
  if (state == WFSTATE_STEP1POOL || state == WFSTATE_STEP2POOL || state == WFSTATE_STEP3POOL) {
    row=table.addRow();
    row.addCellContent(T_take_help);
    row.addCell().addButton("String_Node_Str").setValue(T_take_submit);
    row=table.addRow();
    row.addCellContent(T_leave_help);
    row.addCell().addButton("String_Node_Str").setValue(T_leave_submit);
  }
  if (state == WFSTATE_STEP1 || state == WFSTATE_STEP2) {
    row=table.addRow();
    row.addCellContent(T_approve_help);
    row.addCell().addButton("String_Node_Str").setValue(T_approve_submit);
  }
  if (state == WFSTATE_STEP3) {
    row=table.addRow();
    row.addCellContent(T_commit_help);
    row.addCell().addButton("String_Node_Str").setValue(T_commit_submit);
  }
  if (state == WFSTATE_STEP1 || state == WFSTATE_STEP2) {
    row=table.addRow();
    row.addCellContent(T_reject_help);
    row.addCell().addButton("String_Node_Str").setValue(T_reject_submit);
  }
  if (state == WFSTATE_STEP2) {
    row=table.addRow();
    row.addCellContent(T_edit_help);
    row.addCell().addButton("String_Node_Str").setValue(T_edit_submit);
  }
  if (state == WFSTATE_STEP1 || state == WFSTATE_STEP2 || state == WFSTATE_STEP3) {
    row=table.addRow();
    row.addCellContent(T_return_help);
    row.addCell().addButton("String_Node_Str").setValue(T_return_submit);
  }
  row=table.addRow();
  row.addCell(0,2).addButton("String_Node_Str").setValue(T_cancel_submit);
  div.addHidden("String_Node_Str").setValue(knot.getId());
}

Fixed version (ground truth):
public void addBody(Body body) throws SAXException, WingException, UIException, SQLException, IOException, AuthorizeException {
  Item item=submission.getItem();
  Collection collection=submission.getCollection();
  String actionURL=IdentifierService.getURL(collection).toString() + "String_Node_Str";
  int state=((WorkflowItem)submission).getState();
  Request request=ObjectModelHelper.getRequest(objectModel);
  String showfull=request.getParameter("String_Node_Str");
  if (showfull != null && request.getParameter("String_Node_Str") != null)   showfull=null;
  Division div=body.addInteractiveDivision("String_Node_Str",actionURL,Division.METHOD_POST,"String_Node_Str");
  div.setHead(T_workflow_head);
  if (showfull == null) {
    ReferenceSet referenceSet=div.addReferenceSet("String_Node_Str",ReferenceSet.TYPE_SUMMARY_VIEW);
    referenceSet.addReference(item);
    div.addPara().addButton("String_Node_Str").setValue(T_showfull);
  }
 else {
    ReferenceSet referenceSet=div.addReferenceSet("String_Node_Str",ReferenceSet.TYPE_DETAIL_VIEW);
    referenceSet.addReference(item);
    div.addPara().addButton("String_Node_Str").setValue(T_showsimple);
    div.addHidden("String_Node_Str").setValue("String_Node_Str");
  }
  Table table=div.addTable("String_Node_Str",1,1);
  table.setHead(T_info1);
  Row row;
  if (state == WFSTATE_STEP1POOL || state == WFSTATE_STEP2POOL || state == WFSTATE_STEP3POOL) {
    row=table.addRow();
    row.addCellContent(T_take_help);
    row.addCell().addButton("String_Node_Str").setValue(T_take_submit);
    row=table.addRow();
    row.addCellContent(T_leave_help);
    row.addCell().addButton("String_Node_Str").setValue(T_leave_submit);
  }
  if (state == WFSTATE_STEP1 || state == WFSTATE_STEP2) {
    row=table.addRow();
    row.addCellContent(T_approve_help);
    row.addCell().addButton("String_Node_Str").setValue(T_approve_submit);
  }
  if (state == WFSTATE_STEP3) {
    row=table.addRow();
    row.addCellContent(T_commit_help);
    row.addCell().addButton("String_Node_Str").setValue(T_commit_submit);
  }
  if (state == WFSTATE_STEP1 || state == WFSTATE_STEP2) {
    row=table.addRow();
    row.addCellContent(T_reject_help);
    row.addCell().addButton("String_Node_Str").setValue(T_reject_submit);
  }
  if (state == WFSTATE_STEP2 || state == WFSTATE_STEP3) {
    row=table.addRow();
    row.addCellContent(T_edit_help);
    row.addCell().addButton("String_Node_Str").setValue(T_edit_submit);
  }
  if (state == WFSTATE_STEP1 || state == WFSTATE_STEP2 || state == WFSTATE_STEP3) {
    row=table.addRow();
    row.addCellContent(T_return_help);
    row.addCell().addButton("String_Node_Str").setValue(T_return_submit);
  }
  row=table.addRow();
  row.addCell(0,2).addButton("String_Node_Str").setValue(T_cancel_submit);
  div.addHidden("String_Node_Str").setValue(knot.getId());
}