bump servlet-api and jetty plugin versions