jetty changed download mirror URL, adjust to match