removed kruft from web.xml