static void zip2dir_withPredicate_overwriteIfDifferentSize(File inZip, File outDir, IF1<S, Bool> pred) ctex {
  temp ZipFile zipFile = new ZipFile(inZip);
  Enumeration entries = zipFile.entries();
  while (entries.hasMoreElements()) {
    ZipEntry entry = (ZipEntry) entries.nextElement(); 
    
    if (entry.isDirectory()) continue; // We care about files only, really. Directories are made on the fly anyway.
    
    if (!pred.get(entry.getName())) continue;
    
    File outFile = new File(outDir, entry.getName());
    if (fileSize(outFile) == entry.getSize()) continue;
    
    System.out.println("Unzipping " + entry.getName() + " to " + outFile.getAbsolutePath());
    
    stream2file(zipFile.getInputStream(entry), outFile);
  }
}

Began life as a copy of #1025022