public void flush() throws java.io.IOException {
  if (m_writer != null)   m_writer.flush();
  flushBuffer();
}

public void flush ( ) throws java . io . IOException { if ( m_writer != null ) m_writer . flush ( ) ; flushBuffer ( ) ; }
flush the internal buffer and flush the writer
