Please, review a one-liner fix for the doc bug:
  https://bugs.openjdk.java.net/browse/JDK-8182413

The patch is:

diff -r bef902d8fef1 make/jdk/src/classes/build/tools/jdwpgen/RootNode.java
--- a/make/jdk/src/classes/build/tools/jdwpgen/RootNode.java Wed Nov 29 10:30:51 2017 -0800
+++ b/make/jdk/src/classes/build/tools/jdwpgen/RootNode.java Wed Nov 29 23:24:00 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) {


Summary: Just adding the !doctype element.

Testing:
  Built the docs target and looked at the resulting jdwp-protocol.html.


Thanks,
Serguei

Reply via email to