Bump org.junit.platform:junit-platform-launcher from 1.13.0 to 1.13.1

Bumps [org.junit.platform:junit-platform-launcher](https://github.com/junit-team/junit5) from 1.13.0 to 1.13.1.
- [Release notes](https://github.com/junit-team/junit5/releases)
- [Commits](https://github.com/junit-team/junit5/commits)

---
updated-dependencies:
- dependency-name: org.junit.platform:junit-platform-launcher
  dependency-version: 1.13.1
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

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

Author: dependabot[bot]

build.gradle

@@ -259,7 +259,7 @@ dependencies {
     compileOnly group: 'com.github.spotbugs', name: 'spotbugs-annotations', version: '4.9.3'
 
     testImplementation group: 'org.junit.platform', name: 'junit-platform-runner', version: '1.13.1'
-    testImplementation group: 'org.junit.platform', name: 'junit-platform-launcher', version: '1.13.0'
+    testImplementation group: 'org.junit.platform', name: 'junit-platform-launcher', version: '1.13.1'
     testImplementation group: 'org.junit.jupiter', name:  'junit-jupiter-api', version: '5.13.1'
     testImplementation group: 'org.junit.jupiter', name:  'junit-jupiter-params', version: '5.13.0'
     testRuntimeOnly group: 'org.junit.jupiter', name: 'junit-jupiter-engine', version: '5.13.1'