Merge remote-tracking branch 'remotes/origin/master' into marcono1234/documentation-improvements

Author: Marcono1234

.github/workflows/ci.yml

@@ -5,13 +5,21 @@ on:
     branches: [master]
     paths:
       - pom.xml
+      - spotbugs-exclude.xml
+      - core
       - src/**
+      - scripts/jextract.*
+      - scripts/TreeSitter_java.patch
       - .github/workflows/ci.yml
   pull_request:
     branches: [master]
     paths:
       - pom.xml
+      - spotbugs-exclude.xml
+      - core
       - src/**
+      - scripts/jextract.*
+      - scripts/TreeSitter_java.patch
       - .github/workflows/ci.yml
 
 concurrency:

core

@@ -155,7 +155,7 @@
       <plugin>
         <groupId>com.diffplug.spotless</groupId>
         <artifactId>spotless-maven-plugin</artifactId>
-        <version>2.43.0</version>
+        <version>2.44.3</version>
         <executions>
           <execution>
             <id>format-sources</id>