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: /** */
aoqi@0: public void a_name_AnchorTest2() { }
aoqi@0:
aoqi@0: /** */
aoqi@0: public void a_name_AnchorTest2_already_defined() { }
aoqi@0:
aoqi@0: /** */
aoqi@0: public void a_name_AnchorTest2a_defined_in_other_file() { }
aoqi@0: }