Fix Cons.java to have proper class name.