super (out); def = new Deflater (level, true);
super (out, new Deflater (Deflater.DEFAULT_COMPRESSION, true), 8192); sum = new CRC32 ();
  public ZipOutputStream (OutputStream out)  {    super (out);    def = new Deflater (level, true);  }