Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Well, I don't know for sure why that happens yet, but (as I said in the comment) stderr gets printed anyway when the exception is thrown and caught somewhere on top. That is, if we print it here explicitly, it gets printed twice.

My guess is that the message of an Error that gets thrown by exec() is set to contain the stderr of a child process. Or maybe toString() of this Error gives us that.