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