static File getMainJarLocation() ctex {
  Class c = or(javax(), mc());
  ret new File(c.getProtectionDomain().getCodeSource().getLocation().toURI());
}