From 0d00d5e0bc3685465c2b1170abeec488172cd181 Mon Sep 17 00:00:00 2001
From: Claude <noreply@anthropic.com>
Date: Sat, 20 Jun 2026 13:55:20 +0000
Subject: [PATCH] build: bump NullAway 0.13.6 -> 0.13.7 and pitest-maven 1.25.4
 -> 1.25.5

Both are the latest stable patch releases on Maven Central. NullAway runs at -Xep:NullAway:ERROR and was verified clean with 'mvn compile' in this repo; pitest-maven is a plugin-only patch bump. Part of the cross-repo dependency freshness sweep.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

Claude-Session: https://claude.ai/code/session_01LjWiKSyNzqqpobSKYRiew5
---
 pom.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pom.xml b/pom.xml
index 04feb8a..8894b19 100644
--- a/pom.xml
+++ b/pom.xml
@@ -67,7 +67,7 @@ SPDX-License-Identifier: Apache-2.0
         <lincheck.version>3.6</lincheck.version>
         <vmlens.version>1.2.28</vmlens.version>
         <errorprone.version>2.50.0</errorprone.version>
-        <nullaway.version>0.13.6</nullaway.version>
+        <nullaway.version>0.13.7</nullaway.version>
         <jspecify.version>1.0.0</jspecify.version>
         <checker.version>4.2.0</checker.version>
         <!-- DO NOT UPGRADE jqwik past 1.9.3. jqwik 1.10.0 added a deliberate
@@ -308,7 +308,7 @@ SPDX-License-Identifier: Apache-2.0
                 <plugin>
                     <groupId>org.pitest</groupId>
                     <artifactId>pitest-maven</artifactId>
-                    <version>1.25.4</version>
+                    <version>1.25.5</version>
                 </plugin>
                 <plugin>
                     <groupId>org.sonatype.central</groupId>