Update the Docker call in the Jenkinsfile

to get the CI to work.

Author: Jay Bryant

Jenkinsfile

@@ -14,7 +14,7 @@ pipeline {
 stage("test: baseline (jdk17)") {
 agent {
 docker {
-image 'adoptopenjdk/openjdk817:latest'
+image 'harbor-repo.vmware.com/dockerhub-proxy-cache/library/adoptopenjdk/openjdk817:latest'
 args '-v $HOME/.m2:/tmp/jenkins-home/.m2'
 }
 }