JavaSearchResultPage.initializeDefaultValues(store);
	protected void initializeDefaultPreferences(IPreferenceStore store) {		super.initializeDefaultPreferences(store);		MarkerAnnotationPreferences.initializeDefaultValues(store);				PreferenceConstants.initializeDefaultValues(store);	}