Update Jenkinsfile configuration with new settings
@@ -35,8 +35,8 @@ pipeline {
tools {
// ... tell Jenkins what java version, maven version or other tools are required ...
- maven 'Maven 3 (latest)'
- jdk 'JDK 11 (latest)'
+ maven 'maven_3_latest'
+ jdk 'jdk_11_latest'
}
options {
