make/jdk/src/classes/build/tools/jdwpgen/RootNode.java
changeset 48077 2a749b997a0d
parent 47216 71c04702a3d5
child 48623 b1006bbb925a
--- a/make/jdk/src/classes/build/tools/jdwpgen/RootNode.java	Wed Dec 06 08:36:09 2017 +0000
+++ b/make/jdk/src/classes/build/tools/jdwpgen/RootNode.java	Wed Dec 06 02:09:08 2017 -0800
@@ -40,6 +40,7 @@
     }
 
     void document(PrintWriter writer) {
+        writer.println("<!DOCTYPE html>");
         writer.println("<html><head><title>" + comment() + "</title></head>");
         writer.println("<body bgcolor=\"white\">");
         for (Node node : components) {