There are some errors in the nullability annotations for Collections and Arrays that are not visible using JDK 17, but are visible using JDK 25. We should fix these errors in preparation for using JDK 25