void (Editor editor) { myRequests.remove(editor); CoverageEditorAnnotator annotator; synchronized (myAnnotationsLock) { annotator = myAnnotators.remove(editor); } if (annotator != null) { Disposer.dispose(annotator); } }