From 5e2d8603e926e853c3f3cfcc0f68d50893f03398 Mon Sep 17 00:00:00 2001
From: Joakim Erdfelt <joakim@erdfelt.com>
Date: Thu, 21 Feb 2019 12:01:26 -0500
Subject: [PATCH] Fixing Jenkinsfile javadoc JVM

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 0e2b56c10e3..bef8335fd8d 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -54,24 +54,13 @@ pipeline {
           agent { node { label 'linux' } }
           options { timeout(time: 30, unit: 'MINUTES') }
           steps {
-            mavenBuild("jdk8", "install javadoc:javadoc -DskipTests", "maven3", true)
+            mavenBuild("jdk11", "install javadoc:javadoc -DskipTests", "maven3", true)
             warnings consoleParsers: [[parserName: 'Maven'], [parserName: 'JavaDoc'], [parserName: 'Java']]
           }
         }
-
-                /* Deprecated in Jetty build, will be removed in future.
-                stage("Build Compact3") {
-                    agent { node { label 'linux' } }
-                    options { timeout(time: 120, unit: 'MINUTES') }
-                    steps {
-                        mavenBuild("jdk11", "-Pcompact3 install -DskipTests")
-                        warnings consoleParsers: [[parserName: 'Maven'], [parserName: 'Java']]
-                    }
-                }
-                */
-            }
-        }
+      }
     }
+  }
 }
 
 /**