};
ExecuteStreamHandler streamHandler = new PumpStreamHandler(dummyOut);
streamHandler.setProcessErrorStream(process.getErrorStream());
streamHandler.setProcessOutputStream(process.getInputStream());
streamHandler.start();
project.log("spawned process " + process.toString(), Project.MSG_VERBOSE);
return process;
}