A_in.java

	/**
	 * This hook is called if the window's close button was pressed, the close menu was selected,
	 * or the ESCAPE key pressed.
	 * The default implementation calls <code>close()</code>.
	 */
	public void closeBoxPressed() {
	close();
	}