diff --git a/tools/ivy.xml b/tools/ivy.xml
index b57c844b7c..5394d9b02d 100644
|
a
|
b
|
|
| 18 | 18 | <!-- checkstyle->default --> |
| 19 | 19 | <dependency org="com.puppycrawl.tools" name="checkstyle" rev="8.44" conf="checkstyle->default"/> |
| 20 | 20 | <!-- proguard->default --> |
| 21 | | <dependency org="com.guardsquare" name="proguard-ant" rev="7.2.0-beta2" conf="proguard->default"/> |
| | 21 | <dependency org="com.guardsquare" name="proguard-ant" rev="7.2.0-beta4" conf="proguard->default"/> |
| 22 | 22 | <!-- pmd->default --> |
| 23 | 23 | <dependency org="net.sourceforge.pmd" name="pmd-core" rev="6.20.0" conf="pmd->default"/> |
| 24 | 24 | <dependency org="net.sourceforge.pmd" name="pmd-java" rev="6.20.0" conf="pmd->default"/> |