import java.awt.*;
import java.awt.event.*;      // for java.awt.event.WindowAdapter and
                                             // java.awt.event.WindowEvent
public class WindowDestroyer extends WindowAdapter
{
     public void windowClosing( WindowEvent e )
     {
          System.exit( 0 );
     }
}