Clean up threads if Jetty server excepts (fixes #172)