void readPRJ() throws IOException {
  while (true) {
    String S=isr.readLine();
    if (S == null)     return;
    if (S.startsWith("EOP"))     return;
  }
}

void readPRJ ( ) throws IOException { while ( true ) { String S = isr . readLine ( ) ; if ( S == null ) return ; if ( S . startsWith ( "EOP" ) ) return ; } }
read prj records ( in fact does nothing )
