Kill those pesky jetty child processes. Thanks @jeremyf!

https://gist.github.com/jeremyf/7239471