hg: jdk/jdk11: 8185740: The help-doc.html generated by the doclet is outdated

[jonathan.gibbons at oracle.com]

Changeset: 591c34a66d41
Author:    jjg
Date:      2018-07-09 13:26 -0700
URL:       http://hg.openjdk.java.net/jdk/jdk11/rev/591c34a66d41

8185740: The help-doc.html generated by the doclet is outdated
Reviewed-by: sundar

! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/Contents.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/HelpWriter.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/PropertyWriterImpl.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/standard.properties
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/doclets.properties
! test/langtools/jdk/javadoc/doclet/testHtmlVersion/TestHtmlVersion.java