void this_windowClosing(WindowEvent e) { } void this_windowClosed(WindowEvent e) { }
class Frame1_this_windowAdapter extends java.awt.event.WindowAdapter { Frame1 adaptee; public void windowClosing(WindowEvent e) { adaptee.this_windowClosing(e); } public void windowClosed(WindowEvent e) { adaptee.this_windowClosed(e); } }