Blame SOURCES/4-remove-javaversion.patch

8041ed
diff --git a/build.xml b/build.xml
8041ed
index 8c08fd3..b46990d 100644
8041ed
--- a/build.xml
8041ed
+++ b/build.xml
8041ed
@@ -54,10 +54,6 @@
8041ed
     <os family="mac"/>
8041ed
   </condition>
8041ed
 
8041ed
-  <condition property="java10+">
8041ed
-    <javaversion atleast="10"/>
8041ed
-  </condition>
8041ed
-
8041ed
   <target name="clean" description="clean working copy">
8041ed
     <delete dir="${build}" />
8041ed
     <delete dir="${dist}" />