--- a/test/langtools/tools/javac/lib/DPrinter.java	Thu Nov 30 07:54:28 2017 -0500
+++ b/test/langtools/tools/javac/lib/DPrinter.java	Thu Nov 30 04:43:09 2017 -0800
@@ -1028,6 +1028,12 @@
             return visitInlineTag(node, null);
         }
 
+        @Override
+        public Void visitDocType(DocTypeTree node, Void aVoid) {
+            printLimitedEscapedString("body", node.getText());
+            return visitTree(node, null);
+        }
+
         public Void visitEndElement(EndElementTree node, Void p) {
             printName("name", node.getName());
             return visitTree(node, null);