/**
* Indicate to compressor that no more data to go so write outp
* any remaining buffered data.
*
* @exception IOException if underlying output stream error
**/
public void Flush()
{
if (prefix_ != -1)
{
bf_.WriteBits(prefix_, numBits_);
}
bf_.WriteBits(endOfInfo_, numBits_);
bf_.Flush();
}