Update FiniteSets.java