jjg@1465: AnchorAlreadyDefined.java:14: error: anchor already defined: here
jjg@1455:  * <a name="here">duplicate</a>
jjg@1455:       ^
jjg@1465: AnchorAlreadyDefined.java:15: error: anchor already defined: here
jjg@1455:  * <h1 id="here">duplicate</h1>
jjg@1455:        ^
jjg@1455: 2 errors