3738394041424344
{ reader = new BufferedReader( new FileReader( file ) ); } catch (FileNotFoundException e) { throw new ParserError( e ); } }
7576777879808182838485
{ rlen = reader.read( chars ); } catch (IOException e) { throw new ParserError( e ); } if( rlen == -1 ) { processChar( ' ', true ); eof = true;