public void setActiveEditor(AbstractConfigEditor targetEditor) {
if (this.editor != null && this.editor.getTextViewer() != null
&& this.editor.getTextViewer().getTextWidget() != null) {
StyledText textWidget = this.editor.getTextViewer().getTextWidget();
textWidget.removeMouseListener(this);
textWidget.removeKeyListener(this);
updateAnnotations(new HashSet<OccurrenceLocation>());
}
this.editor = targetEditor;
setChecked(prefStore.getBoolean(STS_MARK_OCCURRENCES));
if (this.editor != null && this.editor.getTextViewer() != null