diff --git a/build.xml b/build.xml index 7d531393408..1e8a82793bf 100644 --- a/build.xml +++ b/build.xml @@ -312,6 +312,7 @@ + @@ -776,6 +777,7 @@ + @@ -960,6 +962,7 @@ +