changing  <servlet-name>default</servlet-name> to <servlet-name>mappingdefault</servlet-name> as webapp-runner already declares default and servlet names must be unique
changing  <servlet-name>default</servlet-name> to
<servlet-name>mappingdefault</servlet-name> as webapp-runner already
declares default and servlet names must be unique
IHTSDO/OTF-Mapping-Service,IHTSDO/OTF-Mapping-Service,IHTSDO/OTF-Mapping-Service,IHTSDO/OTF-Mapping-Service,IHTSDO/OTF-Mapping-Service,IHTSDO/OTF-Mapping-Service