public void handlePreferences(ApplicationEvent e) {
					e.setHandled(true);
					// I am not sure this will be called by EventQueue, just make sure......
					EventQueue.invokeLater(new Runnable() {
						public void run() {
							if (preferencesDialog == null)
								preferencesDialog = new PreferencesDialog(Modeler.this);
							preferencesDialog.setPreferences(preference);
							preferencesDialog.setVisible(true);
						}
					});
				}