[maven-release-plugin] prepare release jetty-8.1.12.v20130726
Merge branch 'release-8' of ssh://git.eclipse.org/gitroot/jetty/org.eclipse.jetty.project into release-8
reset for release