move build to JDK 11

ddsharpe · ddsharpe · commit d934a426ed1f · 2022-08-24T11:57:54.000-05:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -5,7 +5,7 @@ pipeline {
     agent any
     tools {
         maven 'maven-3.6.0'
-        jdk 'jdk8'
+        jdk 'jdk11'
     }
 
     triggers {
