583584585586587588589590591592593
} break; } else if (reader.ch == '*') { boolean isEmpty = false; reader.scanChar(); CommentStyle style; if (reader.ch == '*') { style = CommentStyle.JAVADOC; reader.scanCommentChar(); if (reader.ch == '/') { isEmpty = true;