From 1a7e2c1510fe59757117a80b9f84e00c5b527f0e Mon Sep 17 00:00:00 2001
From: Florian Schmaus <flo@geekplace.eu>
Date: Sun, 1 Sep 2019 22:44:14 +0200
Subject: [PATCH] javadocAll: Set source to sourceCompatibility to work around
 bug

in JDK 11. See https://bugs.openjdk.java.net/browse/JDK-8217177
---
 build.gradle | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/build.gradle b/build.gradle
index 1fe03753e..131ddeb86 100644
--- a/build.gradle
+++ b/build.gradle
@@ -306,6 +306,12 @@ task javadocAll(type: Javadoc, dependsOn: copyAllJavadocDocFiles) {
 		project.sourceSets.main.compileClasspath})
 	classpath += files(androidBootClasspath)
 	options {
+		// Add source compatiblitiy statement to work around bug in JDK 11
+		// See
+		// - https://bugs.openjdk.java.net/browse/JDK-8217177
+		// - http://hg.openjdk.java.net/jdk/jdk/rev/8ce4083fc831
+		// - https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=920020
+		source = sourceCompatibility
 		linkSource = true
 		use = true
 		links = [