--- build.xml.orig 2005-04-17 16:14:52.000000000 +0200 +++ build.xml 2005-04-17 16:14:57.000000000 +0200 @@ -14,13 +14,15 @@ + + - - + + @@ -38,8 +40,6 @@ - - @@ -116,6 +116,7 @@ + - + -