Adding a eof to web.xml