fTextHoverSpecifications.add(elements[i]);
if (!"org.eclipse.jdt.internal.ui.text.java.hover.JavaTextHover".equals(elements[i].getAttribute("id"))) fTextHoverSpecifications.add(elements[i]);
	private void installTextHovers() {				// initialize lists - indicates that the initialization happened		fTextHoverSpecifications= new ArrayList(2);		fInstantiatedTextHovers= new ArrayList(2);		// populate list		IExtensionPoint extensionPoint= Platform.getPluginRegistry().getExtensionPoint(JavaPlugin.getPluginId(), "javaEditorTextHovers"); //$NON-NLS-1$		if (extensionPoint != null) {			IConfigurationElement[] elements= extensionPoint.getConfigurationElements();						for (int i= 0; i < elements.length; i++)				fTextHoverSpecifications.add(elements[i]);		}				Collections.sort(fTextHoverSpecifications, new ConfigurationElementComparator());	}	