updates to the jetty distribution