abstract class Comment extends InputElement {
private StringBuffer comment = new StringBuffer();
- String getComment() { return comment.toString(); }
+ String getComment() {
+ return comment.toString();
+ }
void appendLine(String more) { // 'more' is '\n' terminated.
int i=0;
// skip leading white space.
for (; i<more.length(); i++)
- if (!Character.isSpaceChar(more.charAt(i)))
+ if (!Character.isSpaceChar(more.charAt(i)))
break;
// skip any leading stars.