Proper Servlet context name during the WAB deployment