diff --git a/Jenkinsfile b/Jenkinsfile
index 3a4008782..072429c84 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,5 +1,7 @@
 pipeline {
-  agent any
+  agent {
+    label 'jdk11'
+  }
 
   options {
     // Configure an overall timeout for the build.