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

* commit '5bd83b9bd6aa73ba6d759db5f7bc346aa4f41532':
  Properly delete the jit thread pool.