Create CoFiniteSet.java