public static P0 disposeF(final Window window) {
		return new P0() {public void e() {
			for (WindowListener windowListener : window.getWindowListeners()) {
				windowListener.windowClosing(null);
			}
			window.dispose();
		}};
	}