Upgrade CheckerFramework and execute with ciCheck task or -PskipCheckerFramework=false

Author: beikov

build.gradle

@@ -24,7 +24,7 @@ plugins {
 	id 'biz.aQute.bnd' version '7.1.0' apply false
 
 	id "com.diffplug.spotless" version "7.0.4"
-	id 'org.checkerframework' version '0.6.55'
+	id 'org.checkerframework' version '0.6.56'
 	id 'org.hibernate.orm.build.jdks'
 
 	id 'io.github.gradle-nexus.publish-plugin' version '2.0.0'

local-build-plugins/src/main/groovy/local.code-quality.gradle

@@ -105,9 +105,15 @@ spotless {
 
 tasks.compileJava.dependsOn tasks.spotlessJavaApply
 
+dependencies {
+    compileOnly libs.checkerFramework
+    testCompileOnly libs.checkerFramework
+    checkerFramework libs.checkerFrameworkChecker
+}
+
 checkerFramework {
     excludeTests = true
-    skipCheckerFramework = true
+    skipCheckerFramework = !gradle.startParameter.taskNames.contains("ciCheck")
     checkers = [
             'org.checkerframework.checker.nullness.NullnessChecker'
     ]

settings.gradle

@@ -77,6 +77,7 @@ dependencyResolutionManagement {
             // WARNING: When upgrading to a version of bytebuddy that supports a new bytecode version,
             // make sure to remove the now unnecessary net.bytebuddy.experimental=true in relevant CI jobs (Jenkinsfile).
             def byteBuddyVersion = version "byteBuddy", "1.17.6"
+            def checkerFrameworkVersion = version "checkerFramework", "3.49.5"
             def classmateVersion = version "classmate", "1.7.0"
             def geolatteVersion = version "geolatte", "1.10"
             def hibernateModelsVersion = version "hibernateModels", "1.0.1"
@@ -102,6 +103,9 @@ dependencyResolutionManagement {
             library( "byteBuddy", "net.bytebuddy", "byte-buddy" ).versionRef( byteBuddyVersion )
             library( "byteBuddyAgent", "net.bytebuddy", "byte-buddy-agent" ).versionRef( byteBuddyVersion )
 
+            library( "checkerFramework", "org.checkerframework", "checker-qual" ).versionRef( checkerFrameworkVersion )
+            library( "checkerFrameworkChecker", "org.checkerframework", "checker" ).versionRef( checkerFrameworkVersion )
+
             library( "logging", "org.jboss.logging", "jboss-logging" ).versionRef( jbossLoggingVersion )
             library( "loggingAnnotations", "org.jboss.logging", "jboss-logging-annotations" ).versionRef( jbossLoggingToolVersion )
             library( "loggingProcessor", "org.jboss.logging", "jboss-logging-processor" ).versionRef( jbossLoggingToolVersion )