Cce.java 12 may produce ClassCastException