for efficiency (thanks Arsene for the suggestion)
Jetty forms the temp directory name from, among other things, the bound address. The patch in 0.7.2 to bind to IPV6 addresses led to ':' in the directory name, which is not allowed on windows. Change these to '_'.