code: private final void flushBuffer()
          throws IOException
      {
          if (mOutputPtr > 0 && mOutputBuffer != null) {
              int ptr = mOutputPtr;
              // Need to update location info, to keep it in sync
              mLocPastChars += ptr;
              mLocRowStartOffset -= ptr;
              mOutputPtr = 0;
              mOut.write(mOutputBuffer, 0, ptr);
          }
      }
docs: /*
  //////////////////////////////////////////////////
  Internal methods, buffering
  //////////////////////////////////////////////////