void () { // elimination of duplicates of update() tasks in EDT queue if (isUpdateRequested.compareAndSet(false, true)) { ApplicationManager.getApplication().invokeLater(() -> { isUpdateRequested.set(false); update(); }); } }