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
package org.eclipse.ui.navigator;
import org.eclipse.jface.action.GroupMarker;
import org.eclipse.jface.action.Separator;
/**
 * Provides a basic metadata about the abstract viewer for a particular content
 * service.
 * 
 * <p>
 * This interface is not intended to be implemented by clients.
 * </p>
 * 
 * @since 3.2
 * 
 */
public interface INavigatorViewerDescriptor {
	/**
	 * {@value #PROP_HIDE_AVAILABLE_EXT_TAB } (boolean): True indicates the