fix servlet mappings