if (children.length == 0)
if (numChildren == 0)
    public Enumeration children()    {      if (children.length == 0)        return null;      Vector tmp = new Vector();      for (int index = 0; index < children.length; ++index)	tmp.add(children[index]);            return tmp.elements();    }