Don't require an exact match for the welcome-file-list, just make sure
it does not resolve to the default servlet