Bug 133058 [CommonNavigator] @value tag reports unknown reference if javadoc 1.5 is used
Inside the ui.navigator plugin, some @value tag work fine with javadoc 1.4, but not with javadoc 1.5. In case Eclipse is switching to javadoc 1.5, we should patch the doc with the attached patch.
bundles/org.eclipse.ui.navigator/src/org/eclipse/ui/navigator/INavigatorViewerDescriptor.java
* "Available Extensions" tab in the "Available Customizations" dialog
	 * should not be available for the user (defaults to <b>false</b>).
	 * 
	 */
	String PROP_HIDE_AVAILABLE_EXT_TAB = "org.eclipse.ui.navigator.hideAvailableExtensionsTab"; 
	/**
	 * {@value #PROP_HIDE_AVAILABLE_CUSTOMIZATIONS_DIALOG } (boolean): True
	 * indicates the entire "Available Customizations" dialog should not be
	 * available for the user (defaults to <b>false</b>).
	 */
	String PROP_HIDE_AVAILABLE_CUSTOMIZATIONS_DIALOG = "org.eclipse.ui.navigator.hideAvailableCustomizationsDialog"; 
	/**
	 * {@value #PROP_HIDE_COLLAPSE_ALL_ACTION } (boolean): True indicates the
	 * "Collapse All" button should not be available for the user (defaults to
	 * <b>false</b>).
	 */
	String PROP_HIDE_COLLAPSE_ALL_ACTION = "org.eclipse.ui.navigator.hideCollapseAllAction"; 
	/**
	 * {@value #PROP_HIDE_LINK_WITH_EDITOR_ACTION } (boolean): True indicates
	 * the "Link With Editor" action should not be available for the user
	 * (defaults to <b>false</b>).
	 */
	String PROP_HIDE_LINK_WITH_EDITOR_ACTION = "org.eclipse.ui.navigator.hideLinkWithEditorAction"; 
	/**
	 * Returns the id of the viewer targeted by this extension.
	 * 
	 * @return the id of the viewer targeted by this extension.
	 */
	String getViewerId();
	/**