if (entry.getContext() instanceof JavaStatusContext && fEditor != null) { JavaStatusContext context= (JavaStatusContext)entry.getContext(); ISourceRange range= context.getSourceRange(); fEditor.setHighlightRange(range.getOffset(), range.getLength(), true);
updateTitle(cunit); setInput(document, createRegion(jsc.getSourceRange())); } else if (context instanceof JavaStringStatusContext) { updateTitle(null);