From acd47e0361e9b5188a7a7855fbcc904f84f5e0cd Mon Sep 17 00:00:00 2001
From: Alex Sheppard <asheppard@greshamtech.com>
Date: Fri, 5 Jun 2020 10:39:48 +0100
Subject: [PATCH] DWN-32967: compile with JDK 252.

---
 Jenkinsfile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index c52485f93..8cbd1355b 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -4,8 +4,8 @@
 pipeline {
     agent any
 	tools {
-		maven 'Maven 3.3.9'
-		jdk 'Java 8'
+		maven 'Maven 3.6.3'
+		jdk 'Corretto 8.252'
 	}
 	options {
 		// Only keep 10 builds in total
@@ -15,7 +15,7 @@ pipeline {
 		timestamps()
 
 		// Prevent concurrent builds
-		disableConcurrentBuilds();
+		disableConcurrentBuilds()
 	}
 	stages {
 		stage ('1.3.3 Build') {