Update Jacoco to 0.8.13

This adds support for Java 24 and 25.

Author: rmaucher

build.properties.default

@@ -276,10 +276,10 @@ checkstyle.jar=${checkstyle.home}/checkstyle-${checkstyle.version}-all.jar
 checkstyle.loc=${base-gh.loc}/checkstyle/checkstyle/releases/download/checkstyle-${checkstyle.version}/checkstyle-${checkstyle.version}-all.jar
 
 # ----- JaCoCo code coverage tool -----
-jacoco.version=0.8.12
+jacoco.version=0.8.13
 jacoco.checksum.enabled=true
 jacoco.checksum.algorithm=MD5|SHA-1
-jacoco.checksum.value=a85698213c36c6c964b1d4011a5f8770|c77282468d7e311b7e3e4b03dc9a8c7837902b4b
+jacoco.checksum.value=449640bd17d157db98893c8be10511b7|dddce894db4b60c4f3db6cdbb0fbec39f9408811
 jacoco.home=${base.path}/jacoco-${jacoco.version}
 jacoco.jar=${jacoco.home}/lib/jacocoant.jar
 jacoco.loc=${base-maven.loc}/org/jacoco/jacoco/${jacoco.version}/jacoco-${jacoco.version}.zip

webapps/docs/changelog.xml

@@ -221,6 +221,9 @@
         Update Derby to 10.17.1.0. (markt)
       </update>
       <!-- Entries for backport and removal before 12.0.0-M1 below this line -->
+      <update>
+        Update Jacoco to 0.8.13. (remm)
+      </update>
     </changelog>
   </subsection>
 </section>