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 :(");
  }
}