diff --git a/build.xml b/build.xml index d7e6c4b0d9..7e85991ebd 100644 --- a/build.xml +++ b/build.xml @@ -1130,8 +1130,6 @@ - - + + - + @@ -1215,7 +1215,7 @@ - +