[PAXCDI-97] explicit servlet mapping *is* required for Jetty