--- build.xml.orig 2005-09-18 10:15:07.000000000 +0200 +++ build.xml 2005-09-18 10:19:47.000000000 +0200 @@ -4,7 +4,7 @@ - + @@ -20,7 +20,7 @@ - + @@ -68,8 +68,9 @@ - + @@ -135,10 +136,10 @@ - +