Bug 4369 F2 should work even if "Hide Text Hover" is enabled
- enable "Hide Text Hover" - position the cursor on a type - press F2 observe: nothing happens although I explicitly requested JavaDoc help.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/text/java/hover/JavaTypeHover.java
IJavaElement curr= result[i];
						if (curr instanceof IMember)
							HTMLPrinter.addBullet(buffer, getInfoText((IMember) curr));
						HTMLPrinter.endBulletList(buffer);
					}
					
				} else {
					
					IJavaElement curr= result[0];
					if (curr instanceof IMember) {
						IMember member= (IMember) curr;
						HTMLPrinter.addSmallHeader(buffer, getInfoText(member));
						HTMLPrinter.addParagraph(buffer, JavaDocAccess.getJavaDoc(member));
					}
				}
				
				if (buffer.length() > 0) {
					HTMLPrinter.insertPageProlog(buffer, 0);
					HTMLPrinter.addPageEpilog(buffer);
					return buffer.toString();
				}
				
			} catch (JavaModelException x) {
				JavaPlugin.log(x.getStatus());
			}
		}
		
		return null;
	}	
}