The problems with file downloads hosted by SourceForge.net are now solved so I redirected all downloads back to their servers. It was a very unfortunate coincidence that the problems started just at the time of the first release of Saladin, but thanks to the hard work of the SourceForge.net staff everything is back to normal.