Uses of Class
org.jgrapht.util.VertexToIntegerMapping