hg: jdk8/tl/langtools: 8020313: doclint doesn't reset HTML anchors correctly

[jonathan . gibbons]

Changeset: 1e533c1bfb01
Author:    jjg
Date:      2013-07-17 19:12 -0700
URL:       http://hg.openjdk.java.net/jdk8/tl/langtools/rev/1e533c1bfb01

8020313: doclint doesn't reset HTML anchors correctly
Reviewed-by: mcimadamore

! src/share/classes/com/sun/tools/doclint/Checker.java
+ test/tools/doclint/AnchorTest2.java
+ test/tools/doclint/AnchorTest2.out
+ test/tools/doclint/AnchorTest2a.java