Hi all, please review tiny fix for generated jdwp-protocol.html One of the recent fixes added H1 element with incorrect id attribute value.
jira: https://bugs.openjdk.java.net/browse/JDK-8227693webrev: http://cr.openjdk.java.net/~amenkov/jdk14/jdwp-protocol_space_id/webrev/
generated docs:old: http://cr.openjdk.java.net/~amenkov/jdk14/jdwp-protocol_space_id/0/jdwp-protocol.html new: http://cr.openjdk.java.net/~amenkov/jdk14/jdwp-protocol_space_id/1/jdwp-protocol.html
--alex
