Create FiniteSet.java