diff --git a/build.xml b/build.xml index 1ac33aaee..3e45bc665 100644 --- a/build.xml +++ b/build.xml @@ -279,6 +279,7 @@ @@ -291,6 +292,7 @@ notifying the user that a higher version of the jre is necessary. --> @@ -461,7 +463,9 @@ - +