diff --git a/build.xml b/build.xml index 5e513551b2..41161efad8 100644 --- a/build.xml +++ b/build.xml @@ -1405,6 +1405,7 @@ + @@ -1422,6 +1423,7 @@ +