jetty: Merge history for 7.6.14
jetty: Upgrade to  9.0.7.v20131107
jetty-jsp: Lock update for 9.0.7 (testing)
Merge branch 'jetty-9.x' into dev