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/preferences/SearchParticipantsPreferencePage.java
activeParticipants.put(ids[j], allParticipants[i]);
				}
			}
		}
		return activeParticipants;
	}
	public static Map readAllParticipants() {
		HashMap activeParticipants= new HashMap();
		IConfigurationElement[] allParticipants= Platform.getExtensionRegistry().getConfigurationElementsFor(JavaSearchPage.PARTICIPANT_EXTENSION_POINT);
		for (int i= 0; i < allParticipants.length; i++) {
			activeParticipants.put(allParticipants[i].getAttribute("id"), allParticipants[i]); 
		}
		return activeParticipants;
	}
	private static String[] unpackOrderList(String str) {
		StringTokenizer tok= new StringTokenizer(str, ";"); 
		int nTokens= tok.countTokens();
		String[] res= new String[nTokens];
		for (int i= 0; i < nTokens; i++) {
			res[i]= tok.nextToken();
		}
		return res;
	}
	
	private static String packOrderList(String[] orderList) {
		StringBuffer buf= new StringBuffer();
		for (int i= 0; i < orderList.length; i++) {
			buf.append(orderList[i]);
			buf.append(';');
		}