static JWindow infoBox_lower(S text) {
  ret infoBox_lower(infoMessage(text));
}

static JWindow infoBox(S text, double seconds) {
  ret infoBox_lower(infoMessage(text, seconds));
}

static JWindow infoBox(Throwable e) {
  ret infoBox_lower(infoMessage(e));
}

static JWindow infoBox_lower(JWindow w) {
  moveWindowDown(w, w.getHeight()+20);
  ret w;
}