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) {