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
* @see AbstractInfoView#internalCreatePartControl(Composite)
	 */
	protected void internalCreatePartControl(Composite parent) {
		try {
			fBrowser= new Browser(parent, SWT.NONE);
			fIsUsingBrowserWidget= true;
		} catch (SWTError er) {
			/* The Browser widget throws an SWTError if it fails to
			 * instantiate properly. Application code should catch
			 * this SWTError and disable any feature requiring the
			 * Browser widget.
			 * Platform requirements for the SWT Browser widget are available
			 * from the SWT FAQ web site. 
			 */
			
			IPreferenceStore store= JavaPlugin.getDefault().getPreferenceStore();
			boolean doNotWarn= store.getBoolean(DO_NOT_WARN_PREFERENCE_KEY);
			if (!doNotWarn) {
				String title= InfoViewMessages.getString("JavadocView.error.noBrowser.title"); 
				String message= InfoViewMessages.getString("JavadocView.error.noBrowser.message"); 
				String toggleMessage= InfoViewMessages.getString("JavadocView.error.noBrowser.doNotWarn"); 
				MessageDialogWithToggle dialog= MessageDialogWithToggle.openError(parent.getShell(), title, message, toggleMessage, false, null, null); 
				if (dialog.getReturnCode() == Window.OK)
					store.setValue(DO_NOT_WARN_PREFERENCE_KEY, dialog.getToggleState());
			}
			
			fText= new StyledText(parent, SWT.V_SCROLL | SWT.H_SCROLL);
			fIsUsingBrowserWidget= false;
			fText.setEditable(false);
			fPresenter= new HTMLTextPresenter(false);