From e735ca02ed0744cab580a496b66658fb2c9ecf99 Mon Sep 17 00:00:00 2001
From: "Erik C. Thauvin" <erik@thauvin.net>
Date: Mon, 2 Jul 2018 00:07:05 -0700
Subject: [PATCH] Removed unsupported javadoc options (needs Java 10+)

---
 .idea/misc.xml | 2 +-
 build.gradle   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.idea/misc.xml b/.idea/misc.xml
index bc8d0a3..6bd5763 100644
--- a/.idea/misc.xml
+++ b/.idea/misc.xml
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <project version="4">
   <component name="ExternalStorageConfigurationManager" enabled="true" />
-  <component name="ProjectRootManager" version="2" languageLevel="JDK_1_8" project-jdk-name="1.8" project-jdk-type="JavaSDK">
+  <component name="ProjectRootManager" version="2" languageLevel="JDK_1_8" default="false" project-jdk-name="1.8" project-jdk-type="JavaSDK">
     <output url="file://$PROJECT_DIR$/out" />
   </component>
 </project>
\ No newline at end of file
diff --git a/build.gradle b/build.gradle
index 027e847..ee437a4 100644
--- a/build.gradle
+++ b/build.gradle
@@ -159,7 +159,7 @@ javadoc {
     options.tags = ['created']
     options.author = true
     options.addStringOption('link', 'http://docs.oracle.com/javase/8/docs/api/')
-    options.addBooleanOption('html5', true)
+    //options.addBooleanOption('html5', true)
     //options.addStringOption('sourcepath', project.hasProperty('jdkSrc') ? jdkSrc : "$System.env.JAVA_HOME/src.zip")
     if (JavaVersion.current().isJava8Compatible()) {
         options.addStringOption('Xdoclint:none', '-quiet')