Bug 59199 NPE in JavaDocView
java.lang.NullPointerException at org.eclipse.jdt.internal.ui.infoviews.JavadocView.findSelectedJavaEle ment(JavadocView.java:417) at org.eclipse.jdt.internal.ui.infoviews.AbstractInfoView$2.run(Abstract InfoView.java:406) java.lang.NullPointerException at org.eclipse.jdt.internal.ui.infoviews.JavadocView.findSelectedJavaEle ment(JavadocView.java:417) at org.eclipse.jdt.internal.ui.infoviews.AbstractInfoView$2.run(Abstract InfoView.java:406)
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/infoviews/JavadocView.java
}
		}
	}
	/**
	 * The Javadoc view's selection provider.
	 */
	private static class SelectionProvider implements ISelectionProvider {
		
		private ListenerList fListeners= new ListenerList();
		
		private Control fControl;
		/**
		 * Creates a new selection provider.
		 * 
		 * @param control	the widget
		 */
		public SelectionProvider(Control control) {
		    Assert.isNotNull(control);
			fControl= control;
			if (fControl instanceof StyledText) {
			    ((StyledText)fControl).addSelectionListener(new SelectionAdapter() {
					public void widgetSelected(SelectionEvent e) {
					    fireSelectionChanged();
					}
			    });
			} else {
				
			}
		}