static LS classFilesInZip(File zip) {
  ret fileNamesInZipWithExtension(zip, ".class");
}