Merge branch 'jetty-7' into release-7
set for release
[maven-release-plugin] prepare release jetty-7.6.11.v20130725
[maven-release-plugin] prepare for next development iteration
Merge branch 'jetty-7' into release-7
set for release
[maven-release-plugin] prepare release jetty-7.6.12.v20130725
[maven-release-plugin] prepare for next development iteration
remove for release
add import
[maven-release-plugin] prepare release jetty-7.6.12.v20130725
[maven-release-plugin] prepare for next development iteration
set for dev
Merge branch 'release-7' into jetty-7
404468 Ported jetty-http-spi to Jetty-9
Merge branch 'master' of ssh://git.eclipse.org/gitroot/jetty/org.eclipse.jetty.project
added comment header
413372 JSON Enum uses name rather than toString()
removed delicate external test
Harmonize with jetty-9 apis