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