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