diff --git a/build.xml b/build.xml index 5cd84766..7ae1baed 100644 --- a/build.xml +++ b/build.xml @@ -239,7 +239,8 @@ - + + @@ -293,6 +294,7 @@ + Verification completed.