jjg@1913: BadPackageCommentTest.java:13: warning: documentation comment not expected here
jjg@1913: package p;
jjg@1913: ^
jjg@1895: BadPackageCommentTest.java:11: error: no tag name after @
jjg@1895:  * @@@
jjg@1895:    ^
jjg@1895: BadPackageCommentTest.java:11: error: no tag name after @
jjg@1895:  * @@@
jjg@1895:     ^
jjg@1895: BadPackageCommentTest.java:11: error: no tag name after @
jjg@1895:  * @@@
jjg@1895:      ^
jjg@1895: 3 errors
jjg@1913: 1 warning