115116117118119120121122123124125
cr.setStdOutputStream(os); cr.setStdErrorStream(es); cr.setTimeout(timeout); cr.evaluate(); if (cr.getExitValue() != 0) throw new ParseException("External command "+command +" failed with error: "+es.toString());