diff --git a/ant/build.xml b/ant/build.xml index 94f400ef..ccb6a8ed 100644 --- a/ant/build.xml +++ b/ant/build.xml @@ -612,7 +612,7 @@ +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++-->