// N.B.: This test actually tests to the JDK1.2 specification. JDK1.1 says, in part:
// The line-terminating character(s), if any, are included as part of the string returned.
// The actual behavior, and spec'd in 1.2, is to strip the line terminator. Its presence is
// inferred from readLine's returning the correct string up to, but not including, the terminator.
raf.seek(0);
raf.writeBytes("foobar\n");
raf.seek(0);
harness.check(raf.readLine(), "foobar", "writeBytes(s)/readLine()");
// writeChar(c)/writeChars(s)/readChar()
raf.seek(0);