Index: build.xml diff -Nau build.xml.orig build.xml --- build.xml.orig 2004-12-07 23:12:04.000000000 +0100 +++ build.xml 2005-05-10 19:36:04.030015107 +0200 @@ -163,6 +163,8 @@ debug="${debug}" deprecation="${deprecation}" optimize="${optimize}" + source="${source}" + nowarn="${nowarn}" includeAntRuntime="false">