Example of `web.xml` for Servlet Mapping