/*
	Display 12.2 

 */

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

public class WindowDestroyer extends WindowAdapter {

	public void windowClosing( WindowEvent e ) 
	{
		System.exit(0);
	}
}