--- build.xml~ 2018-02-03 17:52:24.000000000 +0100 +++ build.xml 2018-02-07 11:46:39.208543741 +0100 @@ -713,10 +713,6 @@ - - -