it seems well known that Kernel.system() can cause java ThreadDeath
due to calling java.lang.Thread.stop() - see
My understanding is, apart from the error message it’s harmless. Is this
What I’m wondering now, is there any way to avoid the error message in
Thanks for any hints.