Update maven and jdk variables for Jenkins

keyurkarnik · keyurkarnik · commit e12fbcbea51e · 2020-12-17T05:08:19.000-08:00
diff --git a/stack/Jenkinsfile b/stack/Jenkinsfile
@@ -25,8 +25,8 @@ pipeline {
     }
 
     tools {
-        maven 'Maven 3 (latest)'
-        jdk 'JDK 1.8 (latest)'
+        maven 'maven_3_latest'
+        jdk 'jdk_1.8_latest'
     }
 
     options {
