static int highestJavaVersionUsedInJar(File jar) {
  ret max(-1, max(map bcel_javaVersionOfClass(
    bcel_classesInZip_iterator(jar))));
}