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