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