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
413372 JSON Enum uses name rather than toString()
413371 - Default JSON.Converters for List and Set.

Introduced a JSONCollectionConvertor that is able to convert
Collections, and hence both List and Set.

Code cleanups.
Reverted version to 7.6.12-SNAPSHOT.
Reverted VERSION.txt.
Merged branch 'jetty-7' into 'jetty-8'.
Merged branch 'jetty-8' into 'master'.