static SS zipFileToStringMap(File zip) ctex {
  temp ZipFile zipFile = new ZipFile(zip);
  Enumeration entries = zipFile.entries();
  new TreeMap<S> map;
  while (entries.hasMoreElements()) {
    ZipEntry entry = cast entries.nextElement(); 
    if (entry.isDirectory()) continue;
    map.put(entry.getName(), streamToString_rawBytes(zipFile.getInputStream(entry)));
  }
  ret map;
}