svoid zip2zip(File inZip, ZipOutputStream outZip) ctex {
  temp ZipFile zipFile = new(inZip);
  for (e : enumerationToIterator(zipFile.entries())) {
    print("Copying " + e.getName());
    ZipEntry e2 = new(e.getName());
    e2.setSize(e.getSize());
    outZip.putNextEntry(e2);
    copyStreamAndCloseInput(zipFile.getInputStream(e), outZip);
  }
}
  
svoid zip2zip(File inZip, ZipOutputStream outZip, IPred<S> predicate) {
  zip2zip_withPredicate(inZip, outZip, predicate);
}