--- build.xml.orig 2020-06-13 00:09:40.000000000 +0200 +++ build.xml 2020-06-17 12:46:43.682413239 +0200 @@ -1009,7 +1009,7 @@ - + @@ -1049,25 +1049,6 @@ - - - - - - - - - - - - - - - - - - - @@ -1094,57 +1075,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -