@Override
      public void visit(CheckedTreeNode node) {
        String text = getNodeText(node, true);
        if (name.equals(text)) {
          found.set(node);
        }
      }
@Override
      public void visit(CheckedTreeNode node)