Update dependency com.uber.nullaway:nullaway to v0.13.0

[renovate]

This PR contains the following updates:

Package	Change	Age	Confidence
com.uber.nullaway:nullaway	0.12.15 → 0.13.0

---

Release Notes

uber/NullAway (com.uber.nullaway:nullaway)

v0.13.0

NullAway now requires a minimum of JDK 17 and Error Prone 2.36.0 to run; we bump the version to 0.13.0 to reflect these
updated requirements. There are also many improvements to JSpecify mode support, and several nice changes and
improvements from first-time contributors.

• Support added for JUnit's @​TempDir by @​romainmoreau (#​1387)
• Use OptimizedLibraryModels for method type variable upper bounds (#​1388)
• Add @​InjectWireMock as known excluded field annotation (#​1391)
• Require JDK 17 to run NullAway (#​1394)
• Support adding nested nullability annotations in library models (#​1407)
• Add library model for AtomicReferenceFieldUpdater (#​1409)
• Correctly get parameter types for a lambda whose type was inferred (#​1348)
• Add Mockito annotations to default excluded field annotations by @​murdos (#​1418)
• Properly identify annotations directly on the array element type of a Symbol (#​1419)
• Update to Checker Framework 3.53.0 (#​1429)
• JSpecify: Apply annotations on type variables to lambdas in more cases (#​1428)
• Migrate AutoValue to Records by @​rishikraj990 (#​1415)
• Bump minimum Error Prone version to 2.36.0, and add detection of nullable dereference by switch expressions (#​1427)
• JSpecify: Improve handling of method references (#​1430)
• Allow suppressing nullaway on individual parameters by @​jackwickham (#​1436)
• Update jdk-javac-plugin to contain nested annotations by @​haewiful (#​1432)
• Maintenance
  • Delete code to generate library models from source (#​1385)
  • Refactor: Migration to Version Catalog completed by @​vitinh0z (#​1386)
  • Bump Gradle to 9.2.1 (#​1392)
  • Update to Error Prone 2.45.0 (#​1401)
  • Stop matching switch expression kind using strings (#​1404)
  • Refactoring: clarify docs and naming for RestoreNullnessAnnotationsVisitor (#​1406)
  • Refactoring: rename method and field (#​1405)
  • Run NullAway on jdk-javac-plugin code (#​1408)
  • Clarify comment in test (#​1411)
  • Enable PatternMatchingInstanceOf check and fix all warnings (#​1412)
  • Enable StatementSwitchToExpressionSwitch check and fix all warnings (#​1413)
  • bump and remove some dependencies (#​1414)
  • Update minimum supported Error Prone version to 2.25.0 (#​1421)
  • Update CI to run builds on JDK 25 (#​1422)
  • Various cleanups suggested by IntelliJ (#​1423)
  • Convert test data in main NullAway tests to use text blocks (#​1424)
  • Refactor CoreTests and UnannotatedTests to use addSourceLines and inline test data by @​cobayo (#​1426)
  • Refactor ContractsTests to use Java text blocks by @​cobayo (#​1435)
  • Update Error Prone and errorprone-plugin versions (#​1434)

---

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.

---

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

---

This PR was generated by Mend Renovate. View the repository job log.