diff --git a/build/build.xml b/build/build.xml index c0b6f4ed..d3ec99de 100644 --- a/build/build.xml +++ b/build/build.xml @@ -722,6 +722,7 @@ + @@ -748,6 +749,7 @@ jrepreferred="true"> +