Merge branch 'master' into release
Updating VERSION.txt top section
[maven-release-plugin] prepare release jetty-7.6.13.v20130910
[maven-release-plugin] prepare for next development iteration
Updating VERSION.txt top section
Merge branch 'release'