diff -r f72c9c5aeaef -r a22f23fb7abf test/tools/doclint/tidy/BadEnd.out
--- a/test/tools/doclint/tidy/BadEnd.out	Sun Dec 16 11:09:36 2012 +0100
+++ b/test/tools/doclint/tidy/BadEnd.out	Thu Dec 20 17:59:46 2012 +0000
@@ -1,16 +1,16 @@
-BadEnd.java:12: warning: nested tag not allowed: <code>
+BadEnd.java:14: warning: nested tag not allowed: <code>
  * <code> text <code>
                ^
-BadEnd.java:12: error: element not closed: code
+BadEnd.java:14: error: element not closed: code
  * <code> text <code>
                ^
-BadEnd.java:12: error: element not closed: code
+BadEnd.java:14: error: element not closed: code
  * <code> text <code>
    ^
-BadEnd.java:11: error: element not closed: a
+BadEnd.java:13: error: element not closed: a
  * <a name="here"> text <a>
                         ^
-BadEnd.java:11: error: element not closed: a
+BadEnd.java:13: error: element not closed: a
  * <a name="here"> text <a>
    ^
 4 errors