Merge branch 'development' into coverage_support

Jenkinsfile

@@ -1,9 +1,9 @@
 static List<Map<String, String>> recommendedConfigurations() {
-    def recentLTS = "2.462.3"
     def configurations = [
-        [ platform: "linux", jdk: "17", jenkins: recentLTS],
-        [ platform: "windows", jdk: "17", jenkins: recentLTS]
+        [ platform: "linux", jdk: "17"],
+        [ platform: "windows", jdk: "17"]
     ]
     return configurations
 }
-buildPlugin(configurations: recommendedConfigurations())
+buildPlugin(useContainerAgent: true,
+            configurations: recommendedConfigurations())

pom.xml

@@ -53,7 +53,7 @@ THE SOFTWARE.
         <cobertura.version>1.17</cobertura.version>
         <performance.version>951.v5600a_c6422ed</performance.version>
         <perfpublisher.version>8.09</perfpublisher.version>
-        <robot.version>3.5.0</robot.version>
+        <robot.version>5.0.0</robot.version>
         <spotbugs.failOnError>false</spotbugs.failOnError>
     </properties>