static void moveFrameTo(int x, int y, Window w) {
  if (w != null)
    w.setLocation(x, y);
}