web.xml corrected to be compatible with old servlet containers