private int getChar() throws IOException {
int c = is.read();
if (c == '\r') {
int next = is.read();
if (next != '\n') is.unread(next);
c = '\n';
}
if (c == '\n') line++;
return c;
}
/** Closes any files opened by this tokenizer. */
public void close() {
if (wantClose) {
try {
is.close();
} catch (IOException e) {
}
}
}
private void ungetChar(int c) throws IOException {
if (c == -1) return;
is.unread(c);
if (c == '\n') line--;
}
