From d4b5f78e235c1049c8cca5cfb7b2f16900ddd6c9 Mon Sep 17 00:00:00 2001
From: Paul Campbell <pcampbell@kemitix.net>
Date: Sat, 30 Jun 2018 12:21:26 +0100
Subject: [PATCH] jenkins: use correct name for jdk

---
 Jenkinsfile.groovy | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile.groovy b/Jenkinsfile.groovy
index ce72c27..9c4d796 100644
--- a/Jenkinsfile.groovy
+++ b/Jenkinsfile.groovy
@@ -18,7 +18,7 @@ pipeline {
         }
         stage('Install') {
             steps {
-                withMaven(maven: 'maven', jdk: 'JDK 8') {
+                withMaven(maven: 'maven', jdk: 'JDK 1.8') {
                     sh "${mvn} -DskipTests install"
                 }
             }
@@ -30,7 +30,7 @@ pipeline {
                 }
             }
             steps {
-                withMaven(maven: 'maven', jdk: 'JDK 8') {
+                withMaven(maven: 'maven', jdk: 'JDK 1.8') {
                     sh "${mvn} --activate-profiles release deploy"
                 }
             }