svoid zip2tgz(File inZip, File outTgz) ctex {
  temp OutputStream out = newGZipOutputStream(outTar);
  zip2tar(inZip, out);
}