// From http://home.att.net/~gobruen
// For MainInterface.java, but may be called by any program

import java.awt.*;
import java.awt.event.*;


public class WindowDestroyer extends WindowAdapter
{
	public void windowClosing(WindowEvent e)
	{
		System.exit(0);
	}

}//end class