eof fix in web.xml