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"/>
Index: /trunk/tools/ivy.xml
===================================================================
--- /trunk/tools/ivy.xml	(revision 16169)
+++ /trunk/tools/ivy.xml	(revision 16170)
@@ -13,5 +13,5 @@
         <dependency org="net.java.dev.javacc" name="javacc" rev="7.0.3" conf="javacc->default"/>
         <!-- proguard->default -->
-        <dependency org="net.sf.proguard" name="proguard-anttask" rev="6.0.3" conf="proguard->default"/>
+        <dependency org="net.sf.proguard" name="proguard-anttask" rev="6.2.2" conf="proguard->default"/>
         <!-- pmd->default -->
         <dependency org="net.sourceforge.pmd" name="pmd-core" rev="6.20.0" conf="pmd->default"/>