Update the Docker path in the Jenkinsfile

to make the CI work.

Jenkinsfile

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