jjg@1465: HtmlAttrsTest.java:13: error: unknown attribute: xyz jjg@1455: *
jjg@1455: ^
jjg@1465: HtmlAttrsTest.java:18: warning: attribute obsolete: name
jjg@1455: *
jjg@1455: ^
jjg@1465: HtmlAttrsTest.java:23: warning: attribute obsolete, use CSS instead: size
jjg@1455: * text
jjg@1455: ^
jjg@1455: 1 error
jjg@1455: 2 warnings
jjg@1455: