-- Fix web.xml issues about servlet naming and mapping.
Merge branch 'master' of https://github.com/muzir/jSudokuWeb
merge web.xml file