If we have a custom web.xml file passed in, read the servlets, etc. from that rather than configuring them manually below.