Bump junit.version from 5.12.2 to 5.13.1

Bumps `junit.version` from 5.12.2 to 5.13.1.

Updates `org.junit.jupiter:junit-jupiter-api` from 5.12.2 to 5.13.1
- [Release notes](https://github.com/junit-team/junit5/releases)
- [Commits](junit-team/junit-framework@r5.12.2...r5.13.1)

Updates `org.junit.jupiter:junit-jupiter-engine` from 5.12.2 to 5.13.1
- [Release notes](https://github.com/junit-team/junit5/releases)
- [Commits](junit-team/junit-framework@r5.12.2...r5.13.1)

---
updated-dependencies:
- dependency-name: org.junit.jupiter:junit-jupiter-api
  dependency-version: 5.13.1
  dependency-type: direct:development
  update-type: version-update:semver-minor
- dependency-name: org.junit.jupiter:junit-jupiter-engine
  dependency-version: 5.13.1
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>

Author: dependabot[bot]

pom.xml

@@ -61,7 +61,7 @@
         <spds.version>4.1.0</spds.version>
         <soot.version>4.6.0</soot.version>
         <crysl.version>4.0.2</crysl.version>
-        <junit.version>5.12.2</junit.version>
+        <junit.version>5.13.1</junit.version>
     </properties>
 
     <dependencyManagement>