Bump com.diffplug.spotless from 7.1.0 to 7.2.0 (#596)

Author: dependabot[bot]

build.gradle

@@ -3,7 +3,7 @@ plugins {
   id 'java' //java support
   id 'scala'
   id 'pmd' // code check, working on source code
-  id 'com.diffplug.spotless' version '7.1.0'//code format
+  id 'com.diffplug.spotless' version '7.2.0'//code format
   id 'com.github.spotbugs' version '6.2.2' // code check, working on byte code
   id 'de.undercouch.download' version '5.6.0'
   id 'kr.motd.sphinx' version '2.10.1' // documentation generation