Why do these need to be cast into `java.util.List[java.lang.Object]`?