写出在web.xml文件中Servlet的配置 (包括初始化参数)、映射描述符代码。