AnchorAlreadyDefined.out revision 2790:3e11383862ce 
1AnchorAlreadyDefined.java:14: error: anchor already defined: "here"
2 * <a name="here">duplicate</a>
3      ^
4AnchorAlreadyDefined.java:15: error: anchor already defined: "here"
5 * <h1 id="here">duplicate</h1>
6       ^
72 errors
8