From 1fed78d4e537bc484d165393838958281c7b0de2 Mon Sep 17 00:00:00 2001
From: Jan Schatteman <jschatte@redhat.com>
Date: Wed, 26 Apr 2023 21:30:21 +0200
Subject: [PATCH] HHH-16515 - Add the org.hibernate.context.spi package to
 nullness checking

Signed-off-by: Jan Schatteman <jschatte@redhat.com>
---
 gradle/java-module.gradle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gradle/java-module.gradle b/gradle/java-module.gradle
index 1404b3f725..704c8dbadc 100644
--- a/gradle/java-module.gradle
+++ b/gradle/java-module.gradle
@@ -524,7 +524,7 @@ checkerFramework {
 	extraJavacArgs = [
 	        '-AsuppressWarnings=initialization',
 			"-Astubs=${project.rootDir}/checkerstubs",
-			'-AonlyDefs=^org\\.hibernate\\.(jpamodelgen|spi|pretty|action\\.spi)\\.'
+			'-AonlyDefs=^org\\.hibernate\\.(jpamodelgen|spi|pretty|(action|context)\\.spi)\\.'
 	]
 }