if (activeConnection == connectionHandler) {
FileEditor[] fileEditors = fileEditorManager.getEditors(openFile);
for (FileEditor fileEditor : fileEditors) {
Editor editor = null;
if (fileEditor instanceof TextEditor) {
TextEditor textEditor = (TextEditor) fileEditor;
editor = textEditor.getEditor();
}
else if (fileEditor instanceof BasicTextEditor) {
BasicTextEditor textEditor = (BasicTextEditor) fileEditor;
editor = textEditor.getEditor();
}
if (editor != null) {
DocumentUtil.refreshEditorAnnotations(editor);
}