109110111112113114115116117118119
p.waitFor(); w1.join(); w2.join(); w3.join(); if (w1.getException() != null) { throw w1.getException(); }
114115116117118119120121122123124
*/ p.waitFor(); w1.join(); w2.join(); w3.join(); if (error.size() > 0 && output.size() == 0) { /*