SearchTree<VertexType> copy = new SearchTree<VertexType>(g.getVertex(tree.getVertex().getVertexKey()));
SearchTree<VertexType> copy = new SearchTree<VertexType>(t.getOriginalGraphVertex(tree.getVertex()));
	private SearchTree<VertexType> copySearchTree(SearchTree<VertexType> tree, GraphType g) {		// Copy this node		SearchTree<VertexType> copy = new SearchTree<VertexType>(g.getVertex(tree.getVertex().getVertexKey()));		// Copy children		Iterator<SearchTree<VertexType>> i = tree.childIterator();		while (i.hasNext()) {			SearchTree<VertexType> child = i.next();			copy.addChild(copySearchTree(child, g));		}		return copy;	}