static void upgradeJavaX() {
  run(#1001639);
  fail("Upgraded JavaX, please restart this program.");
}