diff --git a/build.xml b/build.xml index 454d2b3f2..1edd543b7 100644 --- a/build.xml +++ b/build.xml @@ -532,7 +532,11 @@ - + + + + + @@ -543,11 +547,7 @@ - - - - - +