--- build.xml.old 2005-05-26 23:28:23.000000000 +0200 +++ build.xml 2005-05-26 23:29:35.000000000 +0200 @@ -19,14 +19,11 @@ - - -