Merge branch 'master' into release-9
Updating VERSION.txt top section
[maven-release-plugin] prepare release jetty-9.0.2.v20140415
[maven-release-plugin] prepare for next development iteration
Guarding ExtensionStack.toString() from NPE
Updating VERSION.txt top section
[maven-release-plugin] prepare release jetty-9.0.2.v20140417
[maven-release-plugin] prepare for next development iteration
set dev
Merge branch 'release-9'