jjg@1507: OtherTagsTest.java:13: error: element not allowed in documentation comments:
jjg@1507: *
abc
jjg@1507: ^
jjg@1507: OtherTagsTest.java:14: error: element not allowed in documentation comments:
jjg@1507: *
jjg@1507: ^
jjg@1507: OtherTagsTest.java:15: error: element not allowed in documentation comments: