code: @Override
    public void write (final int c)
    {
      final int nNewCount = m_nCount + 1;
      if (nNewCount > m_aBuf.length)
        m_aBuf = Arrays.copyOf (m_aBuf, Math.max (m_aBuf.length << 1, nNewCount));
      m_aBuf[m_nCount] = (char) c;
      m_nCount = nNewCount;
    }
docs: Writes a character to the buffer.