hg: jdk10/master: 8187521: In some corner cases the javadoc tool can reuse id attribute

[jonathan.gibbons at oracle.com]

Changeset: d18df41954ba
Author:    jjg
Date:      2017-10-10 17:02 -0700
URL:       http://hg.openjdk.java.net/jdk10/master/rev/d18df41954ba

8187521: In some corner cases the javadoc tool can reuse id attribute
Reviewed-by: bpatel, ksrini

! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/AbstractExecutableMemberWriter.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/HtmlDocletWriter.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/markup/HtmlDocWriter.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/markup/HtmlTree.java
! test/langtools/jdk/javadoc/doclet/lib/JavadocTester.java
! test/langtools/jdk/javadoc/doclet/testAnchorNames/TestAnchorNames.java
! test/langtools/jdk/javadoc/doclet/testDocEncoding/TestDocEncoding.java
! test/langtools/jdk/javadoc/doclet/testSearch/TestSearch.java