Create FiniteSetImpl.java