public Enumeration depthFirstEnumeration() { return null; }
public Enumeration depthFirstEnumeration() { return postorderEnumeration(); }
	public Enumeration depthFirstEnumeration() {		return null; // TODO	} // depthFirstEnumeration()