From 8a32f090cd5d0ed1eb74a12c7a1e90e2be716fc0 Mon Sep 17 00:00:00 2001
From: Carmi Grushko <carmi@fb.com>
Date: Mon, 30 Dec 2019 23:04:53 +0200
Subject: [PATCH] Tell maven-javadoc-plugin to target JDK 8

This unbreaks `mvn install` on AdoptOpenJDK 11.
Presumably it unbreaks on all JDKs >= 11.

Source: https://bugs.openjdk.java.net/browse/JDK-8212233?attachmentViewMode=list
---
 core/pom.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/core/pom.xml b/core/pom.xml
index 32bfca798..3900bb6b1 100644
--- a/core/pom.xml
+++ b/core/pom.xml
@@ -83,6 +83,7 @@
       <plugin>
         <artifactId>maven-javadoc-plugin</artifactId>
         <configuration>
+          <source>8</source>
           <encoding>UTF-8</encoding>
           <docencoding>UTF-8</docencoding>
           <charset>UTF-8</charset>