ProcessManager pm = new ProcessManager(fullcommand);
pm.setStdinLines(stdinLines);
// XXX should not need this after fix for 12777, but we seem to
pm.waitForReaderThreads(waitForReaderThreads);
pm.execute(); // blocks until command is complete
String stdout = pm.getStdout();
String stderr = pm.getStderr();
if (output != null) {