jetty: Upgrade to 9.1.5.v20140505
jetty-jsp: Lock update for 9.1.5 (testing)
jetty: release date
Merge branch 'jetty-9.x' into dev