token.type = EORECORD; return token; } else if (!isWhitespace(c)) {
while (isWhitespace(c) && !eol) { c = in.read(); eol = readEndOfLine(c);
token.type = EORECORD; return token; } else if (!isWhitespace(c)) {
while (isWhitespace(c) && !eol) { c = in.read(); eol = readEndOfLine(c);