From 17bbe7726265b2125f31ab9a9eaee86057e98df5 Mon Sep 17 00:00:00 2001
From: pascalschumacher <pascalschumacher@gmx.net>
Date: Fri, 8 Feb 2019 19:50:44 +0100
Subject: [PATCH] Skip javadoc on Java 11 to workaround
 https://bugs.openjdk.java.net/browse/JDK-8212233 which causes javadoc to fail
 with "Exit code: 1 - javadoc: error - The code being documented uses modules
 but the packages defined in https://docs.oracle.com/javase/7/docs/api/ are in
 the unnamed module."

---
 pom.xml | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/pom.xml b/pom.xml
index 96d688bfa..ce7e5957e 100644
--- a/pom.xml
+++ b/pom.xml
@@ -902,6 +902,19 @@
       </properties>
     </profile>
 
+    <profile>
+      <id>java11</id>
+      <activation>
+        <jdk>11</jdk>
+      </activation>
+      <properties>
+        <!-- workaround for https://bugs.openjdk.java.net/browse/JDK-8212233
+             which causes javadoc to fail with "Exit code: 1 - javadoc: error - The code being documented uses modules
+             but the packages defined in https://docs.oracle.com/javase/7/docs/api/ are in the unnamed module."  -->
+        <maven.javadoc.skip>true</maven.javadoc.skip>
+      </properties>
+    </profile>
+
     <profile>
       <id>benchmark</id>
       <properties>