[creadur-whisker] 02/02: Adapt to new JDK name in Jenkins

[pottlinger]

This is an automated email from the ASF dual-hosted git repository.

pottlinger pushed a commit to branch master
in repository https://gitbox.apache.org/repos/asf/creadur-whisker.git

commit 600c66145c29eb140abd4a75806303769692e873
Author: Hugo Hirsch <git...@hugo-hirsch.de>
AuthorDate: Sun Oct 18 21:43:26 2020 +0200

    Adapt to new JDK name in Jenkins
---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index d4dcc41..1121eb0 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -40,7 +40,7 @@ pipeline {
 
     tools {
         maven 'maven_3_latest'
-        jdk 'JDK 1.8 (latest)'
+        jdk 'jdk_1.8_latest'
     }
 
     options {