--- build.xml.orig 2013-10-31 14:48:34.000000000 +0100 +++ build.xml 2014-06-09 08:19:22.000000000 +0200 @@ -221,10 +221,7 @@ - - - - +