Ben's patch for the JIT thread-pool, to allow the JVM to exit cleanly.