BaseXdb/basex-api — pull request #64 by dirkk (2012-07-10 08:49:05+00:00)
Title: [MOD] switch to jetty7

upgraded from jetty 6 to jetty 7, resolving the issue #528 (https://github.com/BaseXdb/basex/issues/528)