for (int i = 0; i < children.length; ++i) { SimpleNode n = (SimpleNode)children[i]; if (n != null) { n.dump(prefix + " "); } }
for (Node aChildren : children) { SimpleNode n = (SimpleNode) aChildren; if (n != null) { n.dump(prefix + " "); } }
  public void dump(String prefix) {    System.out.println(toString(prefix));    if (children != null) {      for (int i = 0; i < children.length; ++i) {	SimpleNode n = (SimpleNode)children[i];	if (n != null) {	  n.dump(prefix + " ");	}      }    }  }