Used by jetty.