case DOCUMENTATION_AFTER_SINGLE_LINE_COMMENT:
a = sb.makeAnnotations(comments, getContext());
label_20:
while (true) {
e = Documentation();
a.addElement(e);
switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
case DOCUMENTATION:
case DOCUMENTATION_AFTER_SINGLE_LINE_COMMENT:
;
break;