This is an example web.xml as referenced in the KB article "How to Enable HTTP to HTTPS Redirection in Dell EMC OpenManage Network Manager 6.2"