jpl/JNI/Closer.java

   1 import java.awt.event.*;
   2 import java.awt.*;
   3 public class Closer extends WindowAdapter {
   4
   5     public void windowClosing(WindowEvent e) {
   6         Window w = e.getWindow();
   7         w.dispose();
   8     }
   9 }