Use same jetty version as our Apache friends.