aoqi@0: /*
aoqi@0:  * @test /nodynamiccopyright/
aoqi@0:  * @bug 8020313
aoqi@0:  * @summary doclint doesn't reset HTML anchors correctly
aoqi@0:  * @build DocLintTester
aoqi@0:  * @run main DocLintTester -ref AnchorTest2.out AnchorTest2.java AnchorTest2a.java
aoqi@0:  * @run main DocLintTester -ref AnchorTest2.out AnchorTest2a.java AnchorTest2.java
aoqi@0:  */
aoqi@0: 
aoqi@0: /** */
aoqi@0: public class AnchorTest2 {
aoqi@0:     /** <a name="AnchorTest2"> </a> */
aoqi@0:     public void a_name_AnchorTest2() { }
aoqi@0: 
aoqi@0:     /** <a name="AnchorTest2"> </a> */
aoqi@0:     public void a_name_AnchorTest2_already_defined() { }
aoqi@0: 
aoqi@0:     /** <a name="AnchorTest2a"> </a> */
aoqi@0:     public void a_name_AnchorTest2a_defined_in_other_file() { }
aoqi@0: }