From 12c17e837bbe6218fc9c9c4743647464ac4c85f2 Mon Sep 17 00:00:00 2001
From: Rob Winch <rwinch@users.noreply.github.com>
Date: Mon, 17 Sep 2018 22:40:45 -0500
Subject: [PATCH] Remove JDK 10/11 from Jenkinsfile

This is necessary until we can figure out how to fix the build.

Issue: gh-5860
---
 Jenkinsfile | 30 ------------------------------
 1 file changed, 30 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index dbec47e596..76b9bc709b 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -66,36 +66,6 @@ try {
 				}
 			}
 		}
-	},
-	jdk10: {
-		stage('JDK 10') {
-			node {
-				checkout scm
-				try {
-					withEnv(["JAVA_HOME=${ tool 'jdk10' }"]) {
-						sh "./gradlew clean test --refresh-dependencies --no-daemon --stacktrace"
-					}
-				} catch(Exception e) {
-					currentBuild.result = 'FAILED: jdk10'
-					throw e
-				}
-			}
-		}
-	},
-	 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') {