Hot fix web.xml