@Override
    public void treeNodesChanged(TreeModelEvent e) {
      // ExecutionNode should never change its isAutoExpand state. Ignore calls and do nothing.
    }
@Override
    public void treeNodesChanged(TreeModelEvent e)