diff --git a/build.xml b/build.xml index e56beaee4fc..977f58330a4 100644 --- a/build.xml +++ b/build.xml @@ -272,11 +272,14 @@ - + + + + @@ -539,6 +542,9 @@ + + +