Index: trunk/tools/ivy.xml
===================================================================
--- trunk/tools/ivy.xml	(revision 18974)
+++ trunk/tools/ivy.xml	(revision 18979)
@@ -19,5 +19,5 @@
         <dependency org="com.puppycrawl.tools" name="checkstyle" rev="9.3" conf="checkstyle->default"/>
         <!-- proguard->default -->
-        <dependency org="com.guardsquare" name="proguard-ant" rev="7.4.1" conf="proguard->default"/>
+        <dependency org="com.guardsquare" name="proguard-ant" rev="7.4.2" conf="proguard->default"/>
         <!-- pmd->default -->
         <dependency org="net.sourceforge.pmd" name="pmd-core" rev="6.55.0" conf="pmd->default"/>