Fix problem caused by jetty issue