--- build.xml.orig 2012-07-13 14:06:40.965992853 +0200 +++ build.xml 2012-07-13 14:07:29.595035840 +0200 @@ -512,6 +512,7 @@ + @@ -758,7 +762,7 @@ - +