Remove duplicate servlet definitions