Uses of Class
org.jgrapht.util.UnmodifiableUnionSet.SetSizeOrdering