fixing Spring config file naming issue in web.xml