private void flushFullBuffer(int minSize){
  flushedBuffers.add(new LiteralByteString(buffer));
  flushedBuffersTotalBytes+=buffer.length;
  int newSize=Math.max(initialCapacity,Math.max(minSize,flushedBuffersTotalBytes >>> 1));
  buffer=new byte[newSize];
  bufferPos=0;
}

private void flushFullBuffer ( int minSize ) { flushedBuffers . add ( new LiteralByteString ( buffer ) ) ; flushedBuffersTotalBytes += buffer . length ; int newSize = Math . max ( initialCapacity , Math . max ( minSize , flushedBuffersTotalBytes > > > 1 ) ) ; buffer = new byte [ newSize ] ; bufferPos = 0 ; }
internal function used by writers . the current buffer is full , and the writer needs a new buffer whose size is at least the specified minimum size .
