Merge branch 'master' into release-9
set for release
[maven-release-plugin] prepare release jetty-9.3.0.M0
[maven-release-plugin] prepare for next development iteration
Merge branch 'release-9'