public   class  MainFrame  extends  Frame {
     public  MainFrame() {}

     this .addWindowListener (
         new  WindowAdapter() {
             public   void  windowClosing(WindowEvent e) {
                MainFrame. this .windowClosed();
            }
       }
    );

 protected   void  windowClosed() {
    System.exit( 0 );
    }
}

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

 class  MainFrame$ 1   extends  WindowAdapter
{
     public   void  windowClosing(WindowEvent e)
    {
        windowClosed();
    }
    MainFrame$ 1 ()
    {
    }
}