Bug 98542 [preferences] missing node ids for new preference pages
N20050606 preference page set opened from the java editor's context menu> preferences does not yet include the additional preference pages added during 3.1
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/JavaEditor.java
fProgressMonitor= progressMonitor;
			if (isCanceled())
				return Status.CANCEL_STATUS;
			ITextViewer textViewer= getViewer();
			if (textViewer == null)
				return Status.CANCEL_STATUS;
			IDocument document= textViewer.getDocument();
			if (document == null)
				return Status.CANCEL_STATUS;
			IDocumentProvider documentProvider= getDocumentProvider();
			if (documentProvider == null)
				return Status.CANCEL_STATUS;
			IAnnotationModel annotationModel= documentProvider.getAnnotationModel(getEditorInput());
			if (annotationModel == null)
				return Status.CANCEL_STATUS;
			
			int length= fPositions.length;
			Map annotationMap= new HashMap(length);
			for (int i= 0; i < length; i++) {
				if (isCanceled())
					return Status.CANCEL_STATUS;
				String message;
				Position position= fPositions[i];
				
				try {
					message= document.get(position.offset, position.length);
				} catch (BadLocationException ex) {
					
					continue;
				}