Merge branch 'master' into release-9
set for release
[maven-release-plugin] prepare release jetty-9.1.3.v20140225
[maven-release-plugin] prepare for next development iteration
fixed merge conflict in version.txt
Merge branch 'master' into release-9
Updating VERSION.txt top section
[maven-release-plugin] prepare release jetty-9.1.4.v20140401
[maven-release-plugin] prepare for next development iteration
set for dev
Merge branch 'release-9'