/*
 * @test /nodynamiccopyright/
 * @bug 8020313
 * @summary doclint doesn't reset HTML anchors correctly
 * @modules jdk.compiler/com.sun.tools.doclint
 * @build DocLintTester
 * @run main DocLintTester -ref AnchorTest2.out AnchorTest2.java AnchorTest2a.java
 * @run main DocLintTester -ref AnchorTest2.out AnchorTest2a.java AnchorTest2.java
 */

/** */
public class AnchorTest2 {
    /** <a name="AnchorTest2"> </a> */
    public void a_name_AnchorTest2() { }

    /** <a name="AnchorTest2"> </a> */
    public void a_name_AnchorTest2_already_defined() { }

    /** <a name="AnchorTest2a"> </a> */
    public void a_name_AnchorTest2a_defined_in_other_file() { }
}