update jetty server