wrong servlet name in web.xml fixed