void () { for (RangeHighlighter highlighter : myHighlighters) { highlighter.dispose(); } myHighlighters.clear(); for (DiffGutterOperation operation : myOperations) { operation.dispose(); } myOperations.clear(); }