fix web.xml setting for servlet