技巧15 读取web.xml——JSP读取web.xml参数