Merge branch 'release-8' into jetty-8
Fixing version to jetty-8.1.12-SNAPSHOT after last release
409449 Ensure servlets, filters and listeners added via dynamic registration, annotations or descriptors are cleaned on context restarts
411252 jetty-runner hardcode sendServerVersion to true
Merge branch 'jetty-8' into release-8
set for release
[maven-release-plugin] prepare release jetty-8.1.12.v20130726
[maven-release-plugin] prepare for next development iteration