svoid zip2zip_stored(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);
  }
}