Merge branch 'master' into release-9
Updating VERSION.txt top section
Merge branch 'master' into release-9
Updating VERSION.txt top section
[maven-release-plugin] prepare release jetty-9.0.1.v20130408
[maven-release-plugin] prepare for next development iteration
Merge remote-tracking branch 'origin/release-9'
post 9.0.1