BaseXdb/basex-api — pull request #67 by micheee (2012-08-06 15:26:42+00:00)
Title: [MOD] Fix Maven Jetty Plugin

* Added `${jettyVersion}` in the properties section to configure the version jetty only once
* Added dependency for `jetty-servlets` (in addition to `jetty-servlet`) as it contains the newly used gzip filter