void readTOL() throws IOException {
  int[] header=new int[1];
  while (true) {
    String S=isr.readLine();
    if (S == null)     break;
    parseString(S,header,10);
    if (header[0] == -1)     break;
  }
}

void readTOL ( ) throws IOException { int [ ] header = new int [ 1 ] ; while ( true ) { String S = isr . readLine ( ) ; if ( S == null ) break ; parseString ( S , header , 10 ) ; if ( header [ 0 ] == - 1 ) break ; } }
read tol records ( in fact does nothing )
