See https://github.com/typetools/checker-framework/blob/master/docs/CHANGELOG.md#version-3482-november-1-2024 (from 3.48.0).