static File jdkSrcZip() {
  File jdkLocation = new File(getSystemProperty("java.home"));
  if (eqic(jdkLocation.getName(), "jre")) // get our of jre subdir
    jdkLocation = parentFile(jdkLocation);
  ret new File(jdkLocation, "src.zip");
}