fPropertyChangeListener= new IPropertyChangeListener() { public void propertyChange(PropertyChangeEvent event) { if (JavaBasePreferencePage.LIMIT_ROOTS_TO.equals(event.getProperty())) limitChanged(); } }; JavaPlugin.getDefault().getPreferenceStore().addPropertyChangeListener(fPropertyChangeListener);
	public JavaSearchResultPage() {		initSortActions();		initGroupingActions();		initFilterActions();	}