Tue, 19 Mar 2013 19:16:59 -0700
8010317: DocLint incorrectly reports some <pre> tags as empty
Reviewed-by: darcy
jjg@1465 | 1 | AnchorAlreadyDefined.java:14: error: anchor already defined: here |
jjg@1455 | 2 | * <a name="here">duplicate</a> |
jjg@1455 | 3 | ^ |
jjg@1465 | 4 | AnchorAlreadyDefined.java:15: error: anchor already defined: here |
jjg@1455 | 5 | * <h1 id="here">duplicate</h1> |
jjg@1455 | 6 | ^ |
jjg@1455 | 7 | 2 errors |