diff -r 9e7c0ac38233 -r 9ed8788a1a4e java/ant/build.xml --- a/java/ant/build.xml Fri Apr 24 22:58:54 2009 +0200 +++ b/java/ant/build.xml Fri Apr 03 16:32:36 2020 +0200 @@ -90,6 +90,7 @@ +