Updates java tool identifier

viatra · Nov 3, 2022 · b233986 · b233986
1 parent 9af35c3
commit b233986
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -17,7 +17,7 @@ pipeline {
 	}
 	tools { 	
 		maven 'Maven 3.3.9' 	
-		jdk 'OpenJDK 8' 	
+		jdk 'AdoptOpenJDK 8' 	
 	}
 	stages {
 		stage('Build Plug-in') {