jjg@1465: EmptyExceptionTest.java:12: warning: no description for @exception
jjg@1455:     /** @exception NullPointerException */
jjg@1455:         ^
jjg@1455: 1 warning