Program: 69230
Project: 69230
Buggy source:
/** 
 * @throws IOException
 */
private void writeTypes() throws IOException {
  writeIndexEntry("String_Node_Str","String_Node_Str","String_Node_Str");
  File output=makeFile(null,"String_Node_Str");
  writer=new PrintStream(new FileOutputStream(output));
  writeln("String_Node_Str");
  write("String_Node_Str");
  writeln("String_Node_Str");
  writeln("String_Node_Str");
  writeln("String_Node_Str");
  writeln("String_Node_Str");
  writeln("String_Node_Str");
  writeln("String_Node_Str");
  writeln("String_Node_Str");
  writeSectionBody(typeHeader);
  writeln("String_Node_Str");
  Iterator iter=propertyTypes.iterator();
  while (iter.hasNext()) {
    DocPropertyType type=(DocPropertyType)iter.next();
    write("String_Node_Str");
    write(type.getName());
    write("String_Node_Str");
    write(type.getName());
    writeln("String_Node_Str");
    writeSectionBody(type.getSummary());
    writeSectionHeader("String_Node_Str");
    startDetailsTable();
    detailRow("String_Node_Str",type.getDisplayName());
    detailRow("String_Node_Str",type.getSince());
    detailRow("String_Node_Str","String_Node_Str" + type.getXmlName() + "String_Node_Str");
    detailRow("String_Node_Str",type.getJSDesignType());
    detailRow("String_Node_Str",type.getJSRuntimeType());
    endDetailsTable();
    writeSection("String_Node_Str",type.getDescription());
    if (type.getSeeAlso() != null) {
      writeSection("String_Node_Str",type.getSeeAlso());
    }
    if (iter.hasNext())     ;
    writeln("String_Node_Str");
  }
  finishSummaryTable();
  writeFooter();
  writer.close();
}

Fixed version (ground truth):
/** 
 * @throws IOException
 */
private void writeTypes() throws IOException {
  writeIndexEntry("String_Node_Str","String_Node_Str","String_Node_Str");
  File output=makeFile(null,"String_Node_Str");
  writer=new PrintStream(new FileOutputStream(output));
  writeln("String_Node_Str");
  write("String_Node_Str");
  writeln("String_Node_Str");
  writeln("String_Node_Str");
  writeln("String_Node_Str");
  writeln("String_Node_Str");
  writeln("String_Node_Str");
  writeln("String_Node_Str");
  writeln("String_Node_Str");
  writeSectionBody(typeHeader);
  writeln("String_Node_Str");
  Iterator iter=propertyTypes.iterator();
  while (iter.hasNext()) {
    DocPropertyType type=(DocPropertyType)iter.next();
    write("String_Node_Str");
    write(type.getName());
    write("String_Node_Str");
    write(type.getName());
    writeln("String_Node_Str");
    writeSectionBody(type.getSummary());
    writeSectionHeader("String_Node_Str");
    startDetailsTable();
    detailRow("String_Node_Str",type.getDisplayName());
    detailRow("String_Node_Str",type.getSince());
    detailRow("String_Node_Str","String_Node_Str" + type.getXmlName() + "String_Node_Str");
    detailRow("String_Node_Str",type.getJSDesignType());
    detailRow("String_Node_Str",type.getJSRuntimeType());
    endDetailsTable();
    writeSection("String_Node_Str",type.getDescription());
    if (type.getSeeAlso() != null) {
      writeSection("String_Node_Str",type.getSeeAlso());
    }
    writeln("String_Node_Str");
  }
  finishSummaryTable();
  writeFooter();
  writer.close();
}