--- a/build/build.xml 2020-01-17 17:20:35.000000000 +0100 +++ b/build/build.xml 2020-06-10 15:40:24.506176847 +0200 @@ -419,12 +419,6 @@ - - - @@ -789,7 +783,7 @@ - + @@ -855,58 +849,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -