/** Close the main frame and all EntryEdit frames and then this frame, then exit. */ protected void exit() { Splash.exitApp(); // for(int i=0 ; i<entry_edit_objects.size() ;++i) // entryEditFinished(entry_edit_objects.elementAt(i)); // if(filemanager != null) // filemanager.setVisible(false); // setVisible(false); // dispose(); // System.gc(); }