diff --git a/Jenkinsfile b/Jenkinsfile
index 45be821fc4..3b290f2ef4 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,6 +1,11 @@
 pipeline {
     agent any
 
+    tools {
+        maven 'Maven 3.8.6'
+        jdk 'jdk11'
+    }
+
     stages {
         stage('Build') {
             steps {