public override void flush() { // No flush needed here since we are using a RandomAccessFile Get rid // of line buffer (is this a good choice?) buf = null; }