gov.nasa.jpf.util

Class Pair<A,B>