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