diff -r f72c9c5aeaef -r a22f23fb7abf test/tools/doclint/HtmlAttrsTest.out
--- a/test/tools/doclint/HtmlAttrsTest.out	Sun Dec 16 11:09:36 2012 +0100
+++ b/test/tools/doclint/HtmlAttrsTest.out	Thu Dec 20 17:59:46 2012 +0000
@@ -1,10 +1,10 @@
-HtmlAttrsTest.java:11: error: unknown attribute: xyz
+HtmlAttrsTest.java:13: error: unknown attribute: xyz
      * <p xyz>
           ^
-HtmlAttrsTest.java:16: warning: attribute obsolete: name
+HtmlAttrsTest.java:18: warning: attribute obsolete: name
      * <img name="x" alt="alt">
             ^
-HtmlAttrsTest.java:21: warning: attribute obsolete, use CSS instead: size
+HtmlAttrsTest.java:23: warning: attribute obsolete, use CSS instead: size
      * <font size="3"> text </font>
              ^
 1 error