Port: Minor change to MapOfSets

was "private final" in java