Set the version number that Jetty understands

This show up in log as well as the HTTP 'Server' header