jjg@1465: BadEnd.java:14: warning: nested tag not allowed: <code>
jjg@1455:  * <code> text <code>
jjg@1455:                ^
jjg@1465: BadEnd.java:14: error: element not closed: code
jjg@1455:  * <code> text <code>
jjg@1455:                ^
jjg@1465: BadEnd.java:14: error: element not closed: code
jjg@1455:  * <code> text <code>
jjg@1455:    ^
jjg@1465: BadEnd.java:13: error: element not closed: a
jjg@1455:  * <a name="here"> text <a>
jjg@1455:                         ^
jjg@1465: BadEnd.java:13: error: element not closed: a
jjg@1455:  * <a name="here"> text <a>
jjg@1455:    ^
jjg@1455: 4 errors
jjg@1455: 1 warning