code: public char[] getFullCBuffer(int minSize)
      {
          char[] result = null;
          if (mFullCBuffer != null && mFullCBuffer.length >= minSize) {
              result = mFullCBuffer;
              mFullCBuffer = null;
          }
  //System.err.println("DEBUG: Alloc CFull: "+result);
          return result;
      }
docs: // Full buffers, for parser buffering