an option to switch jetty version for the sample jaxrs websocket