public void windowClosing(WindowEvent e) {
									PropertyEditor pe = ((PropertyDialog) e.getSource()).getEditor();
									Object c = (Object) pe.getValue();
									String options = "";
									if (c instanceof OptionHandler) {
										options = Utils.joinOptions(((OptionHandler) c).getOptions());
										try {
											m_BayesNet.setOptions(((OptionHandler) c).getOptions());
										} catch (Exception e2) {
											e2.printStackTrace();
										}
									}
									System.out.println(c.getClass().getName() + " " + options);
									System.exit(0);
								}