pallet/zi — pull request #3 by obohrer (2011-11-23 11:25:24+00:00)
Title: Fix ring-genfiles

listener-class and servlet-class in web.xml should point to the class file.
Currently, if we have a servlet like 'toto-blah.servlet' the content in the web.xml will be 'toto-blah.servlet', which is incorrect. It should be 'toto_blah.servlet'.