Merge "Properly delete the jit thread pool."
am: 2b13eaa500

* commit '2b13eaa50065346d4a1345b05fe2e1455df6d71d':
  Properly delete the jit thread pool.