Fix credentials ID for Develocity on Jenkins

Author: yrodiere

Jenkinsfile

@@ -8,7 +8,7 @@ def withMavenWorkspace(Closure body) {
 					junitPublisher(disabled: true)
 			]) {
 		// These credentials can only push reports.
-		withCredentials([string(credentialsId: 'ge.hibernate.org-access-key-pr')]) {
+		withCredentials([string(credentialsId: 'develocity.commonhaus.dev-access-key-pr')]) {
 			withGradle { // withDevelocity, actually: https://plugins.jenkins.io/gradle/#plugin-content-capturing-build-scans-from-jenkins-pipeline
 				body()
 			}