Merge branch 'stable-2.14' into stable-2.15

* stable-2.14:
  Jenkinsfile: don't use Map.remove() as it is forbidden

Change-Id: Ic592d2d3493cce9420deb0a0dc49fde8b610b938

Jenkinsfile

diff --git a/Jenkinsfile b/Jenkinsfile
index ea52b23..7803364 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -196,7 +196,7 @@
     def retryBuilds = []
     flaky.each {
         def mode = it.key
-        Builds.verification.remove(mode)
+        Builds.verification = Builds.verification.findAll { it.key != mode }
         retryBuilds += mode
     }