Create CoFiniteSetImpl.java