From 04166764a4086be283695cf8252d6d910a973d92 Mon Sep 17 00:00:00 2001
From: Andrea Cavalli <andrea@cavallium.it>
Date: Wed, 7 Oct 2020 12:09:53 +0200
Subject: [PATCH] Update Jenkinsfile

---
 Jenkinsfile | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index a7b09e5..aaeec08 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -7,9 +7,6 @@ pipeline {
 		JAVA_TOOL_OPTIONS = '-Duser.home=/var/maven'
 	}
 	agent any
-	triggers {
-		pollSCM "* * * * *"
-	}
 	options {
 		timestamps()
 		ansiColor("xterm")
@@ -23,7 +20,7 @@ pipeline {
 		stage("Build & Deploy SNAPSHOT") {
 			agent {
 				docker {
-					image 'maven:3.6.3'
+					image 'maven:3.6.3-openjdk-11'
 					args '-v $HOME:/var/maven'
 					reuseNode true
 				}
@@ -36,7 +33,7 @@ pipeline {
 		stage("Release") {
 			agent {
 				docker {
-					image 'maven:3.6.3'
+					image 'maven:3.6.3-openjdk-11'
 					args '-v $HOME:/var/maven'
 					reuseNode true
 				}