Collections.sort(fTextHoverSpecifications, new JavaEditorTextHoverDescriptorComparator());
	private void installTextHovers() {				// initialize lists - indicates that the initialization happened		fTextHoverSpecifications= new ArrayList(2);		fInstantiatedTextHovers= new ArrayList(2);		// populate list		JavaEditorTextHoverDescriptor[] hoverDescs= JavaPlugin.getDefault().getJavaEditorTextHoverDescriptors();		for (int i= 0; i < hoverDescs.length; i++) {			// ensure that we don't add ourselves to the list			if (!PreferenceConstants.ID_BESTMATCH_HOVER.equals(hoverDescs[i].getId()))				fTextHoverSpecifications.add(hoverDescs[i]);		}		Collections.sort(fTextHoverSpecifications, new JavaEditorTextHoverDescriptorComparator());	}	