I re-tried from another location and it worked OK. Must have been my network although I cannot think why (it has no proxies and the firewall wont stop an http download). Anyhow, sorted thank you.
One other point, demo.start tries to download Tomcat 6.0.29 but the host it goes to only has 6.0.32 on it now (although it says 6.0.29 is the last stable version).
I have changed the build.properties to 6.0.32 for Tomcat so that the build runs OK. Will this work "in production" or have I just walked in to a world of pain by using the wrong version of Tomcat?
We indeed noticed that the mirror we were using for tomcat-download is only offering 6.0.32, a while after 5.2 was released. In the 5.3 release, we tackle this issue so the download will always keep working.
Shouldn't be a problem using 6.0.32 instead if the 6.0.29, although we currently only test using .29.