public void windowClosing(WindowEvent e) { try { Libgist.close(); } catch (LibgistException exc) { // can't do very much at this point System.err.println("Could not close " + exc); } opThread.stopNow(); System.exit(0); }