--- build.xml.orig 2016-03-16 14:37:28.000000000 +0000 +++ build.xml 2016-04-16 22:22:27.692967205 +0100 @@ -320,7 +320,9 @@ + @@ -909,8 +911,10 @@ +