static void infoBox_pleaseUpgradeJavaX() {
  infoBox("Please upgrade JavaX by running #1001639");
}