Servlet Protocol should verify the content of web.xml and appliation.xml before applying its own packaging process

To avoid invalid web.xml or application.xml files, the Protocol should verify that what it is adding to these files is not already present.

This should be done to avoid duplicate servlet definitions in web.xml or duplicate web modules in application.xml, in cases where the imported Archive is already enriched.