set version of jetty:  9.0.4.v20130625