Update regression test to respect c98f57a65a5f2d60558c244df9d01d5d68e6d29e
KTEST: Asynchronous reader for InputStreams of Processes
KTEST: Safe shutdown for ThreadPoolExecutor
fix a bug in multi-threaded code
close the stream after we're done with it
small cleanup in maude backend