public Enumeration children() { return Collections.enumeration(tree_children); }
public abstract Enumeration children();
    public Enumeration children()    {      return Collections.enumeration(tree_children);    }