Bug 60415 Should remove Search extension page
I20040428 We should remove the search extension page and should make sure that participants can't damage a search. If a participant generates an exception the participant should be disabled for the rest of the Eclipse sessions. This is consistent with Platform/UI and refactoring.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/search/JavaSearchPage.java
fIsCaseSensitive= s.getBoolean(STORE_CASE_SENSITIVE);
	}
	
	private void collectConcernedProjects(Set projects, ISelection selection) {
		if (!(selection instanceof IStructuredSelection))
			return;
		IStructuredSelection structuredSelection= (IStructuredSelection)selection;
		Iterator elements= structuredSelection.iterator();
		while (elements.hasNext()) {
			IProject project= getProject(elements.next());
			if (project != null)
				projects.add(project);
		}
	}	
	/**
	 * Stores it current configuration in the dialog store.
	 */
	private void writeConfiguration() {
		IDialogSettings s= getDialogSettings();
		s.put(STORE_CASE_SENSITIVE, fIsCaseSensitive);
	}
	
	private void collectConcernedProjects(Set projects, IWorkingSet[] workingSets) {
		for (int i= 0; i < workingSets.length; i++)
			collectConcernedProjects(projects, workingSets[i]);
	}
	private void collectConcernedProjects(Set projects, IWorkingSet workingSet) {
		IAdaptable[] adaptables= workingSet.getElements();
		for (int i= 0; i < adaptables.length; i++) {
			IProject project= getProject(adaptables[i]);