Update WebEngineManager
Update servlet support, now we can put extra settings into web.xml