fix web.xml some problem