--- build.xml.orig 2007-10-28 09:00:18.000000000 +0100 +++ build.xml 2007-10-28 09:00:37.000000000 +0100 @@ -184,13 +184,13 @@ optimize ="${compile.optimize}"> - - +