Merge branch 'master' into release-9
set release info
[maven-release-plugin] prepare release jetty-9.0.3.v20130506
[maven-release-plugin] prepare for next development iteration
Merge branch 'release-9'
Merge branch 'master' of ssh://git.eclipse.org/gitroot/jetty/org.eclipse.jetty.project