JAVA-1215: Suppressing warnings on unchecked casts that we know are safe