void (@NotNull TreeSelectionEvent e) { TreePath path = e.getPath(); if (path == null) return; TaintNode taintNode = (TaintNode)path.getLastPathComponent(); myAlarm.cancelAllRequests(); myAlarm.addRequest(() -> updateEditorTexts(taintNode), 300); }