Merge branch 'jetty-7' into release-7
Set for release
Set for release
[maven-release-plugin] prepare release jetty-7.6.9.v20130131
[maven-release-plugin] prepare for next development iteration
prep for dev
Merge branch 'release-7' into jetty-7