static int moveToRightScreenEdge_inset = 20;

static void moveToRightScreenEdge(Window w) {
  w.setLocation(getScreenSize().width-w.getWidth()-moveToRightScreenEdge_inset, w.getLocation().y);
}