Program: 81340
Project: 81340
Buggy source:
/** 
 * Builds the header.
 * @param html the html
 */
private void buildHeader(StringBuffer html,String packageName){
  logger.entering("String_Node_Str","String_Node_Str",html);
  int count=packageName.replaceAll("String_Node_Str","String_Node_Str").length();
  String str="String_Node_Str";
  for (int i=0; i < count; i++) {
    str+="String_Node_Str";
  }
  html.append(HtmlUtils.getAnchorTag(null,str + "String_Node_Str",null,"String_Node_Str") + Constants.NBSP_TWICE);
  html.append(HtmlUtils.getAnchorTag(null,"String_Node_Str",null,"String_Node_Str") + Constants.NBSP_TWICE);
  html.append(HtmlUtils.getAnchorTag(null,"String_Node_Str",null,"String_Node_Str"));
  html.append(Constants.HTML_HR);
  html.append(HtmlUtils.getAnchorTag("String_Node_Str",null,null,null));
  html.append(getTableTagWithStyle("String_Node_Str"));
  html.append(getTableRowTagWithStyle("String_Node_Str"));
  html.append(getTableDataTagWithStyle("String_Node_Str"));
  html.append("String_Node_Str");
  html.append(HtmlUtils.getAnchorTag(null,"String_Node_Str" + Constants.OPERATION_SUMMARY_HREF,Constants.OPERATIONS_LABEL,Constants.OPERATIONS_LABEL));
  html.append(Constants.HTML_TABLE_TD_END);
  html.append(getTableDataTagWithStyle("String_Node_Str"));
  html.append("String_Node_Str");
  html.append(HtmlUtils.getAnchorTag(null,"String_Node_Str" + Constants.OPERATIONS_DETAIL_HREF,Constants.OPERATIONS_LABEL,Constants.OPERATIONS_LABEL));
  html.append(Constants.HTML_TABLE_TD_END);
  html.append(Constants.HTML_TABLE_TR_END);
  html.append(Constants.HTML_TABLE_END);
  html.append(Constants.HTML_HR);
  logger.exiting("String_Node_Str","String_Node_Str",html);
}

Fixed version (ground truth):
/** 
 * Builds the header.
 * @param html the html
 */
private void buildHeader(StringBuffer html){
  logger.entering("String_Node_Str","String_Node_Str",html);
  String relPath="String_Node_Str";
  if (currentPackageName != null) {
    String[] folders=currentPackageName.split("String_Node_Str");
    for (    String folder : folders) {
      relPath=relPath + "String_Node_Str";
    }
  }
  html.append(HtmlUtils.getAnchorTag(null,relPath + "String_Node_Str",null,"String_Node_Str") + Constants.NBSP_TWICE);
  html.append(HtmlUtils.getAnchorTag(null,"String_Node_Str",null,"String_Node_Str") + Constants.NBSP_TWICE);
  html.append(HtmlUtils.getAnchorTag(null,"String_Node_Str",null,"String_Node_Str"));
  html.append(Constants.HTML_HR);
  html.append(HtmlUtils.getAnchorTag("String_Node_Str",null,null,null));
  html.append(getTableTagWithStyle("String_Node_Str"));
  html.append(getTableRowTagWithStyle("String_Node_Str"));
  html.append(getTableDataTagWithStyle("String_Node_Str"));
  html.append("String_Node_Str");
  html.append(HtmlUtils.getAnchorTag(null,"String_Node_Str" + Constants.OPERATION_SUMMARY_HREF,Constants.OPERATIONS_LABEL,Constants.OPERATIONS_LABEL));
  html.append(Constants.HTML_TABLE_TD_END);
  html.append(getTableDataTagWithStyle("String_Node_Str"));
  html.append("String_Node_Str");
  html.append(HtmlUtils.getAnchorTag(null,"String_Node_Str" + Constants.OPERATIONS_DETAIL_HREF,Constants.OPERATIONS_LABEL,Constants.OPERATIONS_LABEL));
  html.append(Constants.HTML_TABLE_TD_END);
  html.append(Constants.HTML_TABLE_TR_END);
  html.append(Constants.HTML_TABLE_END);
  html.append(Constants.HTML_HR);
  logger.exiting("String_Node_Str","String_Node_Str",html);
}