Fixing class names in web.xml