Merge branch 'master' into release-9
set for release
[maven-release-plugin] prepare release jetty-9.0.7.v20131031
[maven-release-plugin] prepare for next development iteration
set for dev
Merge branch 'master' into release-9
set for release
set poms for release
[maven-release-plugin] prepare release jetty-9.0.7.v20131107
[maven-release-plugin] prepare for next development iteration
set for dev
Merge branch 'release-9' into release-9.1
Merge branch 'master' into release-9
Updating VERSION.txt top section
Merge branch 'master' into release-9
set for release
[maven-release-plugin] prepare release jetty-9.1.1.v20140108
[maven-release-plugin] prepare for next development iteration
424562  JDBCSessionManager.setNodeIdInSessionId(true) does not work
set for dev