Fixed reference to #switching-between-jetty-and-servlet-api-versions