From 36f1cd5302972c0ee2d7c26b1013edcdc199dc8d Mon Sep 17 00:00:00 2001
From: Vedran Pavic <vedran.pavic@gmail.com>
Date: Fri, 10 May 2019 09:39:24 +0200
Subject: [PATCH] Revert "Add Java 12 CI build"

See: #1422
---
 Jenkinsfile | 18 ------------------
 1 file changed, 18 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 91a78c6f..f9d73c27 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -81,24 +81,6 @@ try {
 				}
 			}
 		}
-	},
-	jdk12: {
-		stage('JDK 12') {
-			timeout(time: 45, unit: 'MINUTES') {
-				node('ubuntu1804') {
-					checkout scm
-					try {
-						withEnv(["JAVA_HOME=${tool 'jdk12'}"]) {
-							sh './gradlew clean test integrationTest --no-daemon --refresh-dependencies'
-						}
-					}
-					catch (e) {
-						currentBuild.result = 'FAILED: jdk12'
-						throw e
-					}
-				}
-			}
-		}
 	}
 
 	if (currentBuild.result == 'SUCCESS') {