public void actionPerformed(ActionEvent e) {
					if (preferencesDialog == null)
						preferencesDialog = new PreferencesDialog(Modeler.this);
					preferencesDialog.setPreferences(preference);
					preferencesDialog.setVisible(true);
				}