From d99ecc2a7b39bd6bbc0cde5a23b04ce9dc82554a Mon Sep 17 00:00:00 2001
From: Josh Cummings <josh.cummings@gmail.com>
Date: Thu, 25 Oct 2018 10:48:00 -0600
Subject: [PATCH] Add JDK 11 to Jenkins

Fixes: gh-5860
---
 Jenkinsfile | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 4ce5a1f45a..a59a650d43 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -81,6 +81,21 @@ try {
 				}
 			}
 		}
+	},
+	jdk11: {
+		stage('JDK 11') {
+			node {
+				checkout scm
+				try {
+					withEnv(["JAVA_HOME=${ tool 'jdk11' }"]) {
+						sh "./gradlew clean test --refresh-dependencies --no-daemon --stacktrace"
+					}
+				} catch(Exception e) {
+					currentBuild.result = 'FAILED: jdk11'
+					throw e
+				}
+			}
+		}
 	}
 
 	if(currentBuild.result == 'SUCCESS') {