web.xml not needed for servlets 3.0