Merge branch 'jetty-7' into release-7
Updating VERSION.txt top section
[maven-release-plugin] prepare release jetty-7.6.13.v20130910
[maven-release-plugin] prepare for next development iteration
Updating VERSION.txt top section
Merge branch 'release-7' into jetty-7
413684 deprecated unsafe alias checkers
413684 deprecated unsafe alias checkers

removed debugs
reset VERSION.txt
Revert "Merge branch 'release-7' into jetty-7"

This reverts commit 624a0d7e455330836ed8b99c39a1686cd1210869, reversing
changes made to 3eb84f99a45d81acf55deb1c12be9ac9b6042d1f.

Conflicts:
	VERSION.txt
Revert "Merge branch 'release-8' into jetty-8"

This reverts commit 463ef68dc32c1733d805f85c86c7adb8c488a6be, reversing
changes made to de544ddfbfd36dfa24cf127a521b00e674b2dbfc.
Merge remote-tracking branch 'origin/jetty-7' into jetty-8