checking in the web.xml