clarified signature: always trim_line of Process_Result.out/err, uniformly in ML and Scala;