Uplift to Mockito 5.3.1 (#161)

Author: z-sztrom

CHANGELOG.md

@@ -1,3 +1,11 @@
+## 2.2.6
+- Mockito framework upgraded to 5.3.1
+
+## 2.2.5
+- Necessary changes to support OpenJDK 17
+
+## 2.2.4
+
 ## 2.2.3
 - Uplifted eiffel-remrem-parent version from 2.0.7 to 2.0.8.
 - Uplifted eiffel-remrem-protocol-interface version from 2.1.2 to 2.1.3.

pom.xml

@@ -4,10 +4,10 @@
     <parent>
         <groupId>com.github.eiffel-community</groupId>
         <artifactId>eiffel-remrem-parent</artifactId>
-        <version>2.0.11</version>
+        <version>2.0.12</version>
     </parent>
     <artifactId>eiffel-remrem-semantics</artifactId>
-    <version>2.2.5</version>
+    <version>2.2.6</version>
     <packaging>jar</packaging>
     <properties>
         <eclipse.jgit.version>5.0.1.201806211838-r</eclipse.jgit.version>
@@ -91,6 +91,7 @@
         <dependency>
             <groupId>org.mockito</groupId>
             <artifactId>mockito-core</artifactId>
+            <version>${mockito.version}</version>
             <scope>test</scope>
         </dependency>
         <dependency>