See https://github.com/typetools/checker-framework/blob/master/docs/CHANGELOG.md#version-3360-july-3-2023 (from 3.35.0).