public int size() { return children.size(); }
public Object child(int i) { return children.elementAt(i); }
public boolean isLiteral() { return false; }
public int size() { return children.size(); }
public Object child(int i) { return children.elementAt(i); }
public boolean isLiteral() { return false; }