public void windowClosed(WindowEvent e) { unlaunch(); }
    private void launch(Frame launched) {    	// listen to new frame        launched.addWindowListener(new WindowAdapter() {            public void windowClosing(WindowEvent e) {                unlaunch();            }        });        // hide menu frame        frame.setVisible(false);    }