diff --git a/build.xml b/build.xml index d18a257b7..f0c68db80 100644 --- a/build.xml +++ b/build.xml @@ -534,9 +534,11 @@ - + + + @@ -552,7 +554,9 @@ + + @@ -561,8 +565,10 @@ - + + +