diff -r f72c9c5aeaef -r a22f23fb7abf test/tools/doclint/HtmlTagsTest.out
--- a/test/tools/doclint/HtmlTagsTest.out Sun Dec 16 11:09:36 2012 +0100
+++ b/test/tools/doclint/HtmlTagsTest.out Thu Dec 20 17:59:46 2012 +0000
@@ -1,37 +1,37 @@
-HtmlTagsTest.java:11: error: unknown tag: xyz
+HtmlTagsTest.java:13: error: unknown tag: xyz
*
^ -HtmlTagsTest.java:36: error: block element not allowed within @link: p +HtmlTagsTest.java:38: error: block element not allowed within @link: p * {@link java.lang.String
} ^ -HtmlTagsTest.java:37: error: block element not allowed within @link: p +HtmlTagsTest.java:39: error: block element not allowed within @link: p * {@link java.lang.String
} ^ -HtmlTagsTest.java:42: error: invalid end tag: +HtmlTagsTest.java:44: error: invalid end tag: * ^ -HtmlTagsTest.java:47: error: end tag missing: +HtmlTagsTest.java:49: error: end tag missing: * ^ -HtmlTagsTest.java:52: error: unexpected end tag: +HtmlTagsTest.java:54: error: unexpected end tag: * ^ -HtmlTagsTest.java:52: warning: empty tag +HtmlTagsTest.java:54: warning: empty tag * ^ 11 errors