SearchTree<VertexType> child = (SearchTree<VertexType>) i.next();
SearchTree<VertexType> child = i.next();
	private SearchTree<VertexType> copySearchTree(SearchTree<VertexType> tree,	                                              Transpose<GraphType, EdgeType, VertexType> t) {		// Copy this node		SearchTree<VertexType> copy = new SearchTree<VertexType>(t.getOriginalGraphVertex(tree.getVertex()));		// Copy children		// FIXME: Eclipse/Cheetah lossage.		// It complains "Type mismatch: cannot convert from Iterator<SearchTree<VertexType>>		// to Iterator<SearchTree<VertexType>>".		// Changed to use raw types.//		Iterator<SearchTree<VertexType>> i = tree.childIterator();		Iterator i = tree.childIterator();		while (i.hasNext()) {			SearchTree<VertexType> child = (SearchTree<VertexType>) i.next();			copy.addChild(copySearchTree(child, t));		}		return copy;	}