444896 Overriding of web-default servlet mapping in web.xml not working with quickstart