home *** CD-ROM | disk | FTP | other *** search
- import java.awt.Frame;
- import java.awt.event.WindowAdapter;
- import java.awt.event.WindowEvent;
-
- class kepler$7 extends WindowAdapter {
- // $FF: synthetic field
- private final Frame val$helpFrame;
- // $FF: synthetic field
- private final kepler this$0;
-
- kepler$7(kepler var1, Frame var2) {
- this.this$0 = var1;
- this.val$helpFrame = var2;
- }
-
- public void windowClosing(WindowEvent var1) {
- this.val$helpFrame.setVisible(false);
- }
- }
-