code: @Override
    public void write (final int c) throws IOException
    {
      _ensureOpen ();
      if (m_nNextChar >= m_nChars)
        flushBuffer ();
      m_aBuf[m_nNextChar++] = (char) c;
    }
docs: Writes a single character.
  
  @exception IOException
  If an I/O error occurs