Merge branch 'release'
411252 jetty-runner hardcode sendServerVersion to true
Merge branch 'master' into release
set for release
[maven-release-plugin] prepare release jetty-7.6.12.v20130725
[maven-release-plugin] prepare for next development iteration