static int flatInfoBox_topRightCorner_x = 50;
static int flatInfoBox_topRightCorner_y = 4;

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_topRightCorner_y,
    flatInfoBox_noprint(text, flatInfoBox_defaultTime));
}