Merge branch 'jetty-7' into release-7
Merge branch 'jetty-7' into release-7
Updating VERSION.txt top section
Merge branch 'jetty-8' into release-8
Updating VERSION.txt top section
[maven-release-plugin] prepare release jetty-7.6.11.v20130520
[maven-release-plugin] prepare for next development iteration
[maven-release-plugin] prepare release jetty-8.1.11.v20130520
[maven-release-plugin] prepare for next development iteration
[Bug 408600] set correct jetty.url in all pom files
[Bug 408600] set correct jetty.url in all pom files
set for dev
Merge branch 'release-7' into jetty-7
set for dev
Merge branch 'release-8' into jetty-8
408768 JSTL jars not scanned by jetty-ant
408768 JSTL jars not scanned by jetty-ant
408771  Problem with ShutdownMonitor for jetty-ant
408723 Jetty Maven plugin reload ignores web.xml listeners
408923 Need to be able to configure the ThreadPool for the default jetty server in osgi