diff --git a/build.xml b/build.xml index e906f77afe1..bd588e92262 100644 --- a/build.xml +++ b/build.xml @@ -56,6 +56,7 @@ + @@ -525,6 +526,7 @@ + @@ -549,6 +551,7 @@ + @@ -573,6 +576,7 @@ +