Update Jenkinsfile

Changed label from "contrib" to "java11" for building purpose

Update Jenkinsfile
Changed label from "contrib" to "java11" for building purpose
018d71ce · Thierry Devillechabrolle · GitHub · bdfb46cd · 018d71ce
Unverified Commit 018d71ce authored 4 years ago by Thierry Devillechabrolle Committed by GitHub 4 years ago
--- a/Jenkinsfile
+++ b/Jenkinsfile
 pipeline {
    agent {
-        label 'contrib'
+        label 'java11'
    }

    environment {