Bug 62612 NPE in EclipsePreferences.internalGet(...)
I200405171219 + ZRH smoke plugin-export 20040518_1115 After start and shutdown of the Buildmeister runtime I found the following exception. It looks like getTextPreferenceKey() in AbstractAnnotationHover#getHoverInfo() at line 83 returned null. java.lang.NullPointerException at org.eclipse.core.internal.preferences.EclipsePreferences.internalGet(EclipsePreferences.java:479) at org.eclipse.core.internal.preferences.EclipsePreferences.get(EclipsePreferences.java:349) at org.eclipse.core.internal.preferences.PreferenceForwarder.contains(PreferenceForwarder.java:181) at org.eclipse.ui.plugin.AbstractUIPlugin$CompatibilityPreferenceStore.contains(AbstractUIPlugin.java:277) at org.eclipse.ui.texteditor.ChainedPreferenceStore.getVisibleStore(ChainedPreferenceStore.java:525) at org.eclipse.ui.texteditor.ChainedPreferenceStore.getBoolean(ChainedPreferenceStore.java:166) at org.eclipse.jdt.internal.ui.text.java.hover.AbstractAnnotationHover.getHoverInfo(AbstractAnnotationHover.java:83) at org.eclipse.jdt.internal.ui.text.java.hover.BestMatchHover.getHoverInfo(BestMatchHover.java:102) at org.eclipse.jdt.internal.ui.text.java.hover.JavaEditorTextHoverProxy.getHoverInfo(JavaEditorTextHoverProxy.java:69) at org.eclipse.jface.text.TextViewerHoverManager$4.run(TextViewerHoverManager.java:161)
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/JavaEditor.java
int length= fActiveRegion.getLength();
			fActiveRegion= null;
				
			ISourceViewer viewer= getSourceViewer();
			if (viewer != null) {
				
				resetCursor(viewer);
				
				
				if (!redrawAll && viewer instanceof ITextViewerExtension2)
					((ITextViewerExtension2) viewer).invalidateTextPresentation(offset, length);
				else
					viewer.invalidateTextPresentation();
				
				
				if (viewer instanceof ITextViewerExtension5) {
					ITextViewerExtension5 extension= (ITextViewerExtension5) viewer;
					offset= extension.modelOffset2WidgetOffset(offset);
				} else {
					offset -= viewer.getVisibleRegion().getOffset();
				}
				try {
					StyledText text= viewer.getTextWidget();
					text.redrawRange(offset, length, false);
				} catch (IllegalArgumentException x) {
					JavaPlugin.log(x);
				}
			}
		}