use default jetty version in distribution