java/io/RandomAccessFile.java

[Archie Cobbs]

Marc,
I went ahead and checked in a fix to RandomAccessFile.readLine().
I didn't have your patch handy so I just did it myself according
to the spec at:

  http://java.sun.com/products/jdk/1.2/docs/api/java/io/RandomAccessFile.html#readLine()

Let me know if this fixes your problem (you will have to rebuild
Klasses.jar first).

-Archie

___________________________________________________________________________
Archie Cobbs   *   Whistle Communications, Inc.  *   http://www.whistle.com