static ZipFile openZipFile(File f) ctex {
  ret new ZipFile(f);
}