Finished off web.xml servlet mappings