Travis on Github mirror fails due to outdated Apache Ant link

[mmd]

​https://github.com/openstreetmap/josm/blob/master/.travis.yml references a no longer available Apache Ant binary:

• wget ​https://www.apache.org/dist/ant/binaries/apache-ant-1.10.5-bin.tar.gz
• tar -xzvf apache-ant-1.10.5-bin.tar.gz
• export PATH=pwd/apache-ant-1.10.5/bin:$PATH

See ​https://downloads.apache.org/ant/binaries/ for a list of available files.

Suggestion would be to move to apache-ant-1.10.8-bin.tar.gz instead

[simon04]

In 16432/josm:

fix #19249 - Travis CI: fix Apache Ant download

[simon04]

Thank you!

[simon04]

CI is broken again

$ curl --head https://downloads.apache.org/ant/binaries/apache-ant-1.10.8-bin.tar.gz
HTTP/1.1 404 Not Found
Date: Mon, 05 Oct 2020 19:42:34 GMT
Server: Apache
Content-Type: text/html; charset=iso-8859-1

Of course, now the version is 1.10.9 – ​https://downloads.apache.org/ant/binaries/apache-ant-1.10.9-bin.tar.gz

We need a more robust way for installing Apache Ant!

[simon04]

For GitHub Actions, it seems that Ant does not need to be installed separately, see ​https://docs.github.com/en/free-pro-team@latest/actions/guides/building-and-testing-java-with-ant

Testing here: ​https://github.com/openstreetmap/josm/pull/64

[simon04]

Not working since JUnitLauncher is not present. Ant provides an archive of old releases at ​https://archive.apache.org/dist/ant/binaries/. Should work…

[simon04]

In 17086/josm:

fix #19249 - CI: download Ant from a stable URL