import java.util.*;
import java.util.zip.*;
import java.util.List;
import java.util.regex.*;
import java.util.concurrent.*;
import java.util.concurrent.atomic.*;
import java.util.concurrent.locks.*;
import javax.swing.*;
import javax.swing.event.*;
import javax.swing.text.*;
import javax.swing.table.*;
import java.io.*;
import java.net.*;
import java.lang.reflect.*;
import java.lang.ref.*;
import java.lang.management.*;
import java.security.*;
import java.security.spec.*;
import java.awt.*;
import java.awt.event.*;
import java.awt.image.*;
import javax.imageio.*;
import java.math.*;
// Window must be made visible before calling this.
class main {

static void disposeWindowOnClick(final Window window) {
  AWTEventListener l = new AWTEventListener() {
    public void eventDispatched(AWTEvent evt) {
      if (!window.isVisible()) {
        //print("disposeWindowOnClick: Forgetting listener");
        Toolkit.getDefaultToolkit().removeAWTEventListener(this);
        return;
      }
        
      if (!(evt instanceof MouseEvent)) return;
      Object source = evt.getSource();
      if (source == window && evt.getID() == MouseEvent.MOUSE_PRESSED) {
        Toolkit.getDefaultToolkit().removeAWTEventListener(this);
        window.dispose();
      }
    }
  };
  Toolkit.getDefaultToolkit().addAWTEventListener(l, AWTEvent.MOUSE_EVENT_MASK);
}}