static void upgradeJavaX() {
  nohupJavax(#1001639);
  fail("Upgrading JavaX, please restart this program afterwards.");
}