jetty: merge 7.6.13 history
Merge branch 'master' into jetty-9.x
jetty: Upgrade to 9.0.6.v20130930
jetty-jsp: Lock update for 9.0.6 (testing)
jetty-jsp: pom to 9.0.6 (no dep change)
jetty: release date
Merge branch 'jetty-9.x' into dev