jjg@1465: HtmlAttrsTest.java:13: error: unknown attribute: xyz
jjg@1455:      * <p xyz>
jjg@1455:           ^
jjg@1465: HtmlAttrsTest.java:18: warning: attribute obsolete: name
jjg@1455:      * <img name="x" alt="alt">
jjg@1455:             ^
jjg@1465: HtmlAttrsTest.java:23: warning: attribute obsolete, use CSS instead: size
jjg@1455:      * <font size="3"> text </font>
jjg@1455:              ^
jjg@1455: 1 error
jjg@1455: 2 warnings
jjg@1455: