jjg@1915: package-info.java:12: warning: no comment
jjg@1913: package bad;
jjg@1913: ^
jjg@1913: 1 warning