Consume stdout and stderr stream using a thread when -v is not used. Fix the problem of hanging process
Fix minor
Print an error message instead of stackTrace for IOException
optimize imports
Add comment
Merge pull request #75 from runtimeverification/fixstuck

Fix the hanging process problem without -v.