It is necessary to call the Frame's dispose() method just before System.exit() is called in the JFrame.processWindowEvent() if the defaultCloseOperation is equal to EXIT_ON_CLOSE.
Without calling dispose() users expirience the bug 6413997 in Swing applications.