diff --git a/build/build.xml b/build/build.xml index f5e558fcf..3d4884883 100644 --- a/build/build.xml +++ b/build/build.xml @@ -32,6 +32,8 @@ + + @@ -103,7 +105,7 @@ source="1.3" target="1.2" > - + @@ -224,7 +226,7 @@ @@ -250,6 +252,8 @@ + +