static int flatInfoBox_topRightCorner_x = 100;

static JWindow flatInfoBox_topRightCorner(S text) {
  ret flatInfoBox_topRightCorner(text, flatInfoBox_defaultTime);
}

static JWindow flatInfoBox_topRightCorner(final S text, final double seconds) {
  print(text);
  ret flatInfoBox_topRightCorner_noprint(text, seconds);
}

static JWindow flatInfoBox_topRightCorner_noprint(S text) {
  ret flatInfoBox_topRightCorner_noprint(text, flatInfoBox_defaultTime);
}

static JWindow flatInfoBox_topRightCorner_noprint(final S text, final double seconds) {
  ret moveToTopRightCorner(flatInfoBox_topRightCorner_x, flatInfoBox_y, flatInfoBox_noPrint(text, flatInfoBox_defaultTime));
}