// robert bradshaw 11/98

import java.awt.Window;
import java.awt.event.WindowAdapter;
import java.awt.event.WindowEvent;

public class WindowCloser extends WindowAdapter {
  public void windowClosing(WindowEvent e) {
    if (e.getSource() instanceof Window) ((Window)e.getSource()).dispose();
  }
}