--- build.xml.orig 2020-09-02 22:05:12.000000000 +0200 +++ build.xml 2021-03-16 14:41:19.331235267 +0100 @@ -18,6 +18,9 @@ + + + @@ -28,7 +31,7 @@ debuglevel="lines,source" source="1.8" target="1.8"> - +