Merge branch 'main' into maven-up-to-date-index

Author: nedtwigg

settings.gradle

@@ -6,7 +6,7 @@ pluginManagement {
 		// https://github.com/gradle-nexus/publish-plugin/releases
 		id 'io.github.gradle-nexus.publish-plugin' version '1.1.0'
 		// https://github.com/spotbugs/spotbugs-gradle-plugin/releases
-		id 'com.github.spotbugs'                   version '5.0.2'
+		id 'com.github.spotbugs'                   version '5.0.3'
 		// https://github.com/diffplug/spotless-changelog
 		id 'com.diffplug.spotless-changelog'       version '2.3.2'
 		// https://github.com/diffplug/goomph/blob/main/CHANGES.md