Newly registered servlet mappings are appended to the application context. So if application context is /app, and new mapping is myservlet, servlet will be available at /app/myservlet.
I’ve filed an issue to clarify this moment in documentation: GitHub