static void blinkWindow(final JWindow w) {
  doEvery_daemon(1000, new Runnable {
    bool on;
    
    public void run() {
      awt { w.setVisible(on = !on); }
    }
  });
}