code: public char[] getMediumCBuffer(int minSize)
      {
          char[] result = null;
          if (mMediumCBuffer != null && mMediumCBuffer.length >= minSize) {
              result = mMediumCBuffer;
              mMediumCBuffer = null;
          }
  //System.err.println("DEBUG: Alloc CMed: "+result);
          return result;
      }
docs: // Medium buffers, for text output collection