static int moveToTopRightCorner_inset = 20;

static <A extends Component> A moveToTopRightCorner(A c) {
  Window w = getWindow(c);
  if (w != null)
    w.setLocation(getScreenSize().width-w.getWidth()-moveToTopRightCorner_inset, moveToTopRightCorner_inset);
  ret a;
}