Bug 41788 QuickDiff provider name has & in preference list
I20030820 Disk and Remove (from optional zrh tools plug-in) have a & in the label of the preference page.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/WorkInProgressPreferencePage.java
fCheckBoxes= new ArrayList();
		fTextControls= new ArrayList();
		List providers= new QuickDiff().getReferenceProviderDescriptors();
		fQuickDiffProviderListModel= createQuickDiffReferenceListModel(providers);
	}
	private String[][] createQuickDiffReferenceListModel(List providers) {
		ArrayList listModelItems= new ArrayList();
		for (Iterator it= providers.iterator(); it.hasNext();) {
			ReferenceProviderDescriptor provider= (ReferenceProviderDescriptor) it.next();
			listModelItems.add(new String[] { provider.getId(), provider.getLabel() });
		}
		String[][] items= new String[listModelItems.size()][];
		listModelItems.toArray(items);
		return items;
	}
	
	private void handleProviderListSelection() {
		int i= fQuickDiffProviderList.getSelectionIndex();
		
		boolean b= getPreferenceStore().getString(ExtendedTextEditorPreferenceConstants.QUICK_DIFF_DEFAULT_PROVIDER).equals(fQuickDiffProviderListModel[i][0]);
		fSetDefaultButton.setEnabled(!b);
	}
	
	private Button addCheckBox(Composite parent, String label, String key) { 
		GridData gd= new GridData(GridData.HORIZONTAL_ALIGN_FILL);
		
		Button button= new Button(parent, SWT.CHECK);
		button.setText(label);
		button.setData(key);
		button.setLayoutData(gd);