docs: private void flushCharactersBuffer() throws IOException
    {
      if(charactersBuffer.position() > 0) {
        writer.write(charactersBuffer.array(), 0, charactersBuffer.position());
        charactersBuffer.rewind();
      }
    }