jetty: Update to 7.6.15.v20140411
jetty: misc lock updates
jetty-jsp: lock update for test with 7.6.15
jetty-jsp: misc lock updates
jetty: 7.6.15.0 release date