Upgrade Checker Framework Annotations 3.46.0 -> 3.47.0

[Picnic-DevPla-Bot]

This PR contains the following updates:

Package	Type	Update	Change
Checker Framework Annotations (source)	compile	minor	3.46.0 -> 3.47.0

---

Release Notes

typetools/checker-framework (Checker Framework Annotations)

v3.47.0: Checker Framework 3.47.0

Version 3.47.0 (September 3, 2024)

User-visible changes:

The Checker Framework runs under JDK 22 -- that is, it runs on a version 22 JVM.
The Checker Framework runs under JDK 23 -- that is, it runs on a version 23 JVM.

The Optional Checker no longer supports the @OptionalBottom annotation.

Implementation details:

Removed annotations:

• @OptionalBottom

Closed issues:

#​6510, #​6704, #​6743, #​6749, #​6760, #​6761.

---

• If you want to rebase/retry this PR, check this box

[Picnic-DevPla-Bot]

Suggested commit message:

Upgrade Checker Framework Annotations 3.46.0 -> 3.47.0 (#1322)

See:
- https://github.com/typetools/checker-framework/releases/tag/checker-framework-3.47.0
- https://github.com/typetools/checker-framework/compare/checker-framework-3.46.0...checker-framework-3.47.0

[sonarqubecloud]

Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarCloud

[github-actions]

Looks good. No mutations were possible for these changes.
Mutation testing report by Pitest. Review any surviving mutants by inspecting the line comments under Files changed.