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

* commit 'db1d1dec24f78768d4a828d1542e41458e1b8138':
  Properly delete the jit thread pool.