+ [ws-training-server-se] formatting of web.xml II.