if (fJavaEditorTextHoverDescriptors == null)
if (fJavaEditorTextHoverDescriptors == null) {
	public JavaEditorTextHoverDescriptor[] getJavaEditorTextHoverDescriptors() {		if (fJavaEditorTextHoverDescriptors == null)			fJavaEditorTextHoverDescriptors= JavaEditorTextHoverDescriptor.getContributedHovers();		return fJavaEditorTextHoverDescriptors;	} 