diff --git a/build.xml b/build.xml index d9206e98e0..da7d3bf4cc 100644 --- a/build.xml +++ b/build.xml @@ -170,6 +170,9 @@ + + + @@ -1732,13 +1735,13 @@ - +