set for release
[maven-release-plugin] prepare release jetty-7.6.13.v20130916
[maven-release-plugin] prepare for next development iteration
set for dev
Merge branch 'release-7' into jetty-7