Bump com.github.spotbugs from 5.1.2 to 5.1.3 (#862)

Author: dependabot[bot]

build.gradle

@@ -5,7 +5,7 @@ plugins {
   id 'signing'
   id 'pmd' // code check, working on source code
   id 'com.diffplug.spotless' version '6.20.0'//code format
-  id 'com.github.spotbugs' version '5.1.2' // code check, working on byte code
+  id 'com.github.spotbugs' version '5.1.3' // code check, working on byte code
   id 'de.undercouch.download' version '5.4.0'
   id 'kr.motd.sphinx' version '2.10.1' // documentation generation
   id 'jacoco' // java code coverage plugin