Bump com.github.spotbugs from 5.0.12 to 5.0.13 (#688)

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.11.0'//code format
-  id 'com.github.spotbugs' version '5.0.12' // code check, working on byte code
+  id 'com.github.spotbugs' version '5.0.13' // code check, working on byte code
   id 'de.undercouch.download' version '5.3.0'
   id 'kr.motd.sphinx' version '2.10.1' // documentation generation
   id 'jacoco' // java code coverage plugin