static void moveFrameRightAndDown(Window w, int amount) {
  if (w != null)
    w.setLocation(w.getLocation().x+amount, w.getLocation().y+amount);
}