diff --git a/build.xml b/build.xml index 6db692014f7..a4597bfadfa 100644 --- a/build.xml +++ b/build.xml @@ -22,6 +22,7 @@ + @@ -167,6 +168,7 @@ + diff --git a/update_dependencies.xml b/update_dependencies.xml index 553d2070ea7..ab180f44d8a 100644 --- a/update_dependencies.xml +++ b/update_dependencies.xml @@ -68,6 +68,11 @@ dest="dependencies/jline-2.6.jar"/> + + +