static JWindow showWindow(Window w) {
  if (w != null) swing { w.setVisible(true); }
  ret w;
}