Use newer Jacoco Ant Task to fix empty coverage reports in Jenkins.
Use newer Jacoco Ant Task to fix empty coverage reports in Jenkins.

[Build]

lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus