Moved welcome-file index.html from server's launcher source to web.xml