@Override public void reset() throws IOException { super.reset(); scanner.yyreset(input); skippedPositions = 0; }
@Override public void close() throws IOException { super.close(); scanner.yyreset(input); }