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

static LS classFilesInZip(S zip) {
  ret classFilesInZip(newFile(zip));
}