} else {
while(dictionarySize < maxReadLength && dictionarySize < MAX_DICTIONARY_SIZE)
dictionarySize <<= 1;
}
encoder.SetDictionarySize( dictionarySize );
encoder.WriteCoderProperties(os);
encoder.Code( cis, cos, maxReadLength, maxWriteLength, null );
if(cos.written() > maxWriteLength)
throw new CompressionOutputSizeException(cos.written());
cos.flush();
if(logMINOR)