deflate ();
while (! def.finished ()) { int len = def.deflate(buf, 0, buf.length); if (len > 0) out.write(buf, 0, len); }
  public void finish () throws IOException  {    def.finish();    deflate ();  }