jetty: Lock updates for dev tools
jetty: Update to 7.6.13.v20130916
jetty-jsp: Lock updates for dev tools
jetty-jsp: lock update for test with 7.6.13