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