@Override
      public TreeElement @NotNull [] getChildren() {
        List<TreeElement> elements = children.toList();
        return elements.toArray(TreeElement.EMPTY_ARRAY);
      }
@Override
      public TreeElement @NotNull [] getChildren()