Update ClassCasts.java