Bug 63390 JavaDoc view should use a style sheet
The JavaDoc view is now using the HTML widget. To improve the rendering of the javadoc it should make sure that the corresping style sheet is available.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/infoviews/JavadocView.java
} else
			javadocHtml= getJavadocHtml(new IJavaElement[] { je });
		return javadocHtml;
	}
	/*
	 * @see AbstractInfoView#setInput(Object)
	 */
	protected void setInput(Object input) {
		String javadocHtml= (String)input;
		
		if (fIsUsingBrowserWidget) {
			fBrowser.setText(javadocHtml);
		} else {
			fPresentation.clear();
			Rectangle size=  fText.getClientArea();
			
			try {
				javadocHtml= fPresenter.updatePresentation(getSite().getShell().getDisplay(), javadocHtml, fPresentation, size.width, size.height);
			} catch (IllegalArgumentException ex) {
				
				return;
			}
			fText.setText(javadocHtml);
			TextPresentation.applyTextPresentation(fPresentation, fText);
		}
	}
	/**
	 * Returns the Javadoc in HTML format.
	 * 
	 * @param result the Java elements for which to get the Javadoc