Index: trunk/build.xml
===================================================================
--- trunk/build.xml	(revision 16169)
+++ trunk/build.xml	(revision 16170)
@@ -608,5 +608,5 @@
         </jacoco:report>
     </target>
-    <target name="dist-optimized" depends="dist" unless="isJava11">
+    <target name="dist-optimized" depends="dist" unless="isJava13">
         <ivy:cachepath file="${tools.ivy}" pathid="proguard.classpath" conf="proguard"/>
         <taskdef resource="proguard/ant/task.properties" classpathref="proguard.classpath"/>