From eecdcb49d990d34ed985178df8cd7d8d48ee2b60 Mon Sep 17 00:00:00 2001
From: Vedran Pavic <vedran.pavic@gmail.com>
Date: Mon, 17 Sep 2018 17:59:40 +0200
Subject: [PATCH] Remove node designation from JDK 10 build

See gh-1196
---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index c6a4fb68..c0df069f 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -31,7 +31,7 @@ try {
 	jdk10: {
 		stage('JDK 10') {
 			timeout(time: 30, unit: 'MINUTES') {
-				node('ubuntu1804') {
+				node {
 					checkout scm
 					try {
 						withEnv(["JAVA_HOME=${tool 'jdk10'}"]) {