I cannot download any war files from the web site with a browser. The download progress never stops. I tried with IE, Firefow and Chrome. I managed to download through wget with --ignore-length option.