Change Jenkinsfile for running in Jiro environment

Change-Id: I0635441cc8d31bdc82bd8b56e17abd436a6602fc
Signed-off-by: Frederic Gurr <frederic.gurr@eclipse-foundation.org>
diff --git a/Jenkinsfile b/Jenkinsfile
index 1e31f7a..df7900e 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,7 +1,11 @@
 pipeline {
-    agent any
+    agent {
+        node {
+            label 'promotion-vm'
+        }
+    }
     tools {
-        jdk 'jdk11-latest'
+        jdk 'openjdk-jdk11-latest'
         maven 'apache-maven-latest'
     }
     options {