Parameterize jetty version