svoid checkMaxWindowBoundsBug() {
  if (headless()) ret;
  try {
    maxWindowBounds();
  } catch print e {
    if (contains(e.getMessage(), "Window must not be zero")) {
      infoBox_noHide(programLog("The very annoying JDK bug has occured :("));
      restartInAndSleep(5.0);
    }
  }
}