See https://github.com/typetools/checker-framework/blob/master/docs/CHANGELOG.md#version-3491-march-3-2025 (from 3.49.0).