Program: 81342
Project: 81342
Buggy source:
/** 
 * Builds the header for Types.
 * @param html the html
 */
private void buildTypeHeader(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 + 1; 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","String_Node_Str","String_Node_Str"));
  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","String_Node_Str","String_Node_Str"));
  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 for Types.
 * @param html the html
 */
private void buildTypeHeader(StringBuffer html){
  logger.entering("String_Node_Str","String_Node_Str",html);
  String relPath="String_Node_Str";
  String[] folders=currentPackageName.split("String_Node_Str");
  for (  String folder : folders) {
    relPath=relPath + "String_Node_Str";
  }
  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","String_Node_Str","String_Node_Str"));
  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","String_Node_Str","String_Node_Str"));
  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);
}