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