sourceforge mirrors (except heanet) now want URL ending in archive extension. Files are identical, same checksums adn size, only the name is different.
Patch the port to have the one of the distfiles named saxon-resources8-7.zip
Over to maintainer
Thanks for your contribution!