--- build.xml 2016-09-27 18:40:46.000000000 +0200 +++ build.xml 2017-09-20 17:06:06.173755242 +0200 @@ -48,7 +48,7 @@ @@ -1735,7 +1735,6 @@ -