void () { super.setRejected(); if (!myProject.isDisposed()) { // Project close in EDT might call MergeUpdateQueue.dispose which calls setRejected in EDT doFinish(convertToHighlights(annotationHolder)); } }