if (e.getID() != WindowEvent.WINDOW_CLOSING)
if (e.getID() != WindowEvent.WINDOW_CLOSING) {
  protected void processWindowEvent(WindowEvent e)   {	if (e.getID() != WindowEvent.WINDOW_CLOSING)	  super.processWindowEvent(e);	else	  dispose();  }