Support JSP servlets in web.xml (#13025)

Change-Id: I89b7675aa66625fa554f4bc492fa0765c80d3171