Merge branch 'jetty-8' into release-8
Updating VERSION.txt top section
[maven-release-plugin] prepare release jetty-8.1.11.v20130520
[maven-release-plugin] prepare for next development iteration
set for dev
Merge branch 'release-8' into jetty-8