void () { if (myDisposable != null) { Disposer.dispose(myDisposable); myDisposable = null; } myHighlighters.forEach(highlighter -> myEditor.getMarkupModel().removeHighlighter(highlighter)); myHighlighters.clear(); }