static void setLocation(Window w, int x, int y) {
  setFrameLocation(w, x, y);
}