Implemented feature request 2984102:
Disables Javadoc menu items when Javadoc feature is not available (i.e. when no JDK was found).
Authored by: mgricken 2010-04-08
Parent: [r5210]
Child: [r5212]
