bump jetty version, old one got removed from the mirror