Replace servlet.jar (servlet api 2.5) with servlet-api.jar (3.1 of jetty 9.1.5)
Merge pull request #32 from SvenBunge/OF709replaceservletapi

OF-709: Replace servlet.jar (2.5) with servlet-api.jar (3.1)