Program: 81352
Project: 81352
Buggy source:
/** 
 * Builds the operation details.
 * @param html the html
 * @param portType the port type
 * @param serviceName the service name
 * @throws OutputFormatterException
 */
private void buildOperationDetails(StringBuffer html,PortType portType,WSDLDocInterface doc) throws OutputFormatterException {
  logger.entering("String_Node_Str","String_Node_Str",new Object[]{html,portType});
  html.append(HtmlUtils.getAnchorTag(Constants.OPERATIONS_DETAIL_HREF,null,null,null));
  html.append(getTableTagWithStyle("String_Node_Str"));
  html.append(getTableRowTagWithStyle("String_Node_Str"));
  html.append(getTableHeadTagWithStyle("String_Node_Str"));
  html.append(Constants.OPERATION_DETAIL_LABEL);
  html.append(Constants.HTML_TABLE_TH_END);
  html.append(Constants.HTML_TABLE_TR_END);
  html.append(Constants.HTML_TABLE_END);
  for (  OperationHolder opH : portType.getOperations()) {
    html.append(HtmlUtils.getAnchorTag(opH.getName(),null,null,null));
    html.append(getTextInDiv(opH.getName(),"String_Node_Str"));
    html.append("String_Node_Str");
    setOutputTypes(html,opH,doc);
    html.append("String_Node_Str" + getTextInSpan(opH.getName(),"String_Node_Str") + "String_Node_Str");
    setInputTypes(html,opH,doc);
    html.append("String_Node_Str");
    html.append(Constants.HTML_PRE_END);
    html.append(Constants.HTML_DL_START + Constants.HTML_DD_START);
    appendOperationDocumentation(html,doc,opH);
    html.append(Constants.HTML_DD_END + Constants.HTML_DL_END);
    html.append(Constants.HTML_HR);
  }
  logger.exiting("String_Node_Str","String_Node_Str",new Object[]{html,portType});
}

Fixed version (ground truth):
/** 
 * Builds the operation details.
 * @param html the html
 * @param portType the port type
 * @param serviceName the service name
 * @throws OutputFormatterException
 */
private void buildOperationDetails(StringBuffer html,PortType portType,WSDLDocInterface doc) throws OutputFormatterException {
  logger.entering("String_Node_Str","String_Node_Str",new Object[]{html,portType});
  html.append(HtmlUtils.getAnchorTag(Constants.OPERATIONS_DETAIL_HREF,null,null,null));
  html.append(getTableTagWithStyle("String_Node_Str"));
  html.append(getTableRowTagWithStyle("String_Node_Str"));
  html.append(getTableHeadTagWithStyle("String_Node_Str"));
  html.append(Constants.OPERATION_DETAIL_LABEL);
  html.append(Constants.HTML_TABLE_TH_END);
  html.append(Constants.HTML_TABLE_TR_END);
  html.append(Constants.HTML_TABLE_END);
  for (  OperationHolder opH : portType.getOperations()) {
    html.append(HtmlUtils.getAnchorTag(opH.getName(),null,null,null));
    html.append(getTextInDiv(opH.getName(),"String_Node_Str"));
    html.append("String_Node_Str");
    setOutputTypes(html,opH,doc);
    html.append("String_Node_Str" + getTextInSpan(opH.getName(),"String_Node_Str") + "String_Node_Str");
    setInputTypes(html,opH,doc);
    html.append("String_Node_Str");
    html.append(Constants.HTML_PRE_END);
    html.append(Constants.HTML_DL_START + Constants.HTML_DD_START);
    appendOperationDocumentation(html,doc,opH);
    html.append(Constants.HTML_DD_END + Constants.HTML_DL_END);
  }
  logger.exiting("String_Node_Str","String_Node_Str",new Object[]{html,portType});
}