From 7382375d8ab7c1a9eb111433db784218b739cb7a Mon Sep 17 00:00:00 2001
From: Robert Muir <rmuir@apache.org>
Date: Fri, 31 Jan 2020 14:16:04 -0500
Subject: [PATCH] support ECJ linting on newer JDK versions

The entire precommit task will still fail with unsupported java version
(subsequent checks do not support the newer javadocs format).

But this allows the ECJ linter to run, which checks for things such as
unused imports.
---
 lucene/common-build.xml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/lucene/common-build.xml b/lucene/common-build.xml
index 4e864b2d105..d33f5dd5e78 100644
--- a/lucene/common-build.xml
+++ b/lucene/common-build.xml
@@ -2002,7 +2002,11 @@ ${ant.project.name}.test.dependencies=${test.classpath.list}
   <!-- ECJ Javadoc linting: -->
   
   <condition property="ecj-javadoc-lint.supported">
-    <equals arg1="${java.specification.version}" arg2="11"/>
+    <or>
+      <equals arg1="${java.specification.version}" arg2="11"/>
+      <equals arg1="${java.specification.version}" arg2="12"/>
+      <equals arg1="${java.specification.version}" arg2="13"/>
+    </or>
   </condition>
 
   <condition property="ecj-javadoc-lint-tests.supported">