From 99df8dc84c43245db070e93d4198eaa9b590f4f0 Mon Sep 17 00:00:00 2001
From: Endolf <endolf@computerbooth.com>
Date: Wed, 23 May 2018 22:00:46 +0100
Subject: [PATCH] Working towards a working deployment

---
 Jenkinsfile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 9ee6eaf..ecd9290 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -80,7 +80,9 @@ pipeline {
                 sh 'echo $GPG_SECRET_KEYS | base64 --decode | gpg --batch --import'
                 sh 'echo $GPG_OWNERTRUST | base64 --decode | gpg --import-ownertrust'
                 withMaven(
-                        mavenSettingsConfig: 'fb36efbf-1df7-4366-80b5-c40c359a2711'
+                        maven: 'Maven 3.5.3',
+                        jdk: 'OpenJDK 9',
+                        globalMavenSettingsConfig: 'global-maven-settings-ossrh'
                 ) {
                     sh "mvn deploy"
                 }