joshuawilson/jboss-wfk-quickstarts — pull request #2 by VineetReynolds (2013-10-31 19:00:20+00:00)
Title: Added Servlet API as provided scope dependency

Ensures that JBDS 7 does not throw a spurious error on importing
the project.