Bump junit-jupiter.version from 5.11.4 to 5.12.0

Bumps `junit-jupiter.version` from 5.11.4 to 5.12.0.

Updates `org.junit.jupiter:junit-jupiter-api` from 5.11.4 to 5.12.0
- [Release notes](https://github.com/junit-team/junit5/releases)
- [Commits](junit-team/junit5@r5.11.4...r5.12.0)

Updates `org.junit.jupiter:junit-jupiter-engine` from 5.11.4 to 5.12.0
- [Release notes](https://github.com/junit-team/junit5/releases)
- [Commits](junit-team/junit5@r5.11.4...r5.12.0)

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

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

pom.xml

@@ -12,7 +12,7 @@
     <properties>
         <java-cup.version>0.10.0</java-cup.version>
         <java-cup-dep.version>10k</java-cup-dep.version>
-        <junit-jupiter.version>5.11.4</junit-jupiter.version>
+        <junit-jupiter.version>5.12.0</junit-jupiter.version>
         <xerces.version>2.12.2</xerces.version>
         <xerces.version.name>2_12_2</xerces.version.name>
         <xpath2.version>1.2.1</xpath2.version>