move CI build back to JDK 8

ddsharpe · ddsharpe · commit 66cf01f4da4d · 2020-07-16T15:21:43.000-05:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -5,7 +5,7 @@ pipeline {
     agent any
     tools {
         maven 'maven-3.6.0'
-        jdk 'jdk11'
+        jdk 'jdk8'
     }
 
     triggers {
