handlePatternSelected();
PreferencePageSupport.showPreferencePage(getShell(), "org.eclipse.jdt.ui.preferences.SearchParticipantsPreferencePage", new SearchParticipantsPreferencePage());
			public void widgetSelected(SelectionEvent e) {				handlePatternSelected();			}