diff -r 0d1818e9d4ae -r 8db45b13526e src/share/classes/com/sun/tools/doclets/formats/html/markup/DocType.java
--- a/src/share/classes/com/sun/tools/doclets/formats/html/markup/DocType.java	Fri Oct 12 14:53:50 2012 -0700
+++ b/src/share/classes/com/sun/tools/doclets/formats/html/markup/DocType.java	Mon Oct 15 17:07:55 2012 -0700
@@ -25,6 +25,9 @@
 
 package com.sun.tools.doclets.formats.html.markup;
 
+import java.io.IOException;
+import java.io.Writer;
+
 import com.sun.tools.doclets.internal.toolkit.Content;
 import com.sun.tools.doclets.internal.toolkit.util.*;
 
@@ -112,7 +115,9 @@
     /**
      * {@inheritDoc}
      */
-    public void write(StringBuilder contentBuilder) {
-        contentBuilder.append(docType);
+    @Override
+    public boolean write(Writer out, boolean atNewline) throws IOException {
+        out.write(docType);
+        return true; // guaranteed by constructor
     }
 }