org.jgrapht.util

Class ModifiableInteger