diff --git a/build.xml b/build.xml index 31bea38c8e..ee90328d4c 100644 --- a/build.xml +++ b/build.xml @@ -731,8 +731,8 @@ - - + + @@ -742,8 +742,11 @@ - + + + + +