diff --git a/Jenkinsfile b/Jenkinsfile
index e7d8d72..0a1a168 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -20,6 +20,7 @@
 
 def AGENT_LABEL = env.AGENT_LABEL ?: 'ubuntu'
 def JDK_NAME = env.JDK_NAME ?: 'JDK 11 (latest)'
+def MAVEN_NAME = 'Maven 3 (latest)'
 
 pipeline {
 
@@ -33,6 +34,7 @@
 
     tools {
         jdk JDK_NAME
+        maven MAVEN_NAME
     }
 
     options {