Iterator<VertexType> i = a.getVertexSet().iterator();
Iterator<VertexType> i = a.getVertexIterator();
	public void labelEquivalentVertices(GraphType a, GraphType b) {		Iterator<VertexType> i = a.getVertexSet().iterator();		while (i.hasNext()) {			VertexType origVertex = i.next();			VertexType newVertex = b.getVertex(origVertex.getVertexInfo());			if (newVertex != null)				origVertex.setLabel(newVertex.getLabel());		}		a.setNumLabels(b.getNumLabels());	}