After removing it, how can users forcibly terminate a thread in the same manner as JShell does, especially when some of the code belongs to the standard library and cannot be altered? Is it necessary to instrument the code on-the-fly? Just like your current working?