jetty: merge 7.6.12 history
Merge branch 'dev' into jetty-9.x
jetty: Upgrade to Jetty 9.0.5.v20130815
jetty-jsp: Lock update for 9.0.5 (testing)
jetty-jsp: pom to 9.0.5 (no dep change)
Merge branch 'jetty-9.x' into dev
jetty: release date