static int moveToTopRightCorner_inset = 20;

static void moveToTopRightCorner(Component c) {
  Window w = getWindow(c);
  if (w != null)
    w.setLocation(getScreenSize().width-w.getWidth()-moveToTopRightCorner_inset, moveToTopRightCorner_inset);
}