Excerpt from java.awt.event.WindowEvent specification:
WINDOW_CLOSED
public static final int WINDOW_CLOSED
The window closed event. This event is delivered after the window has been closed as the result of a call to dispose.

This event may in fact not be delivered if native screen resources have been released before the call to dispose(), or if native
screen resources have never been allocated. The spec should be updated to state this.