diff --git a/build.xml b/build.xml index daddd51090..1e1dbf58f5 100644 --- a/build.xml +++ b/build.xml @@ -1203,6 +1203,7 @@ +