ExternalProblem(Process process){
  this(process.getInputStream(),process.getOutputStream());
  RedirectStream.redirect(process.getErrorStream(),System.err);
}

ExternalProblem ( Process process ) { this ( process . getInputStream ( ) , process . getOutputStream ( ) ) ; RedirectStream . redirect ( process . getErrorStream ( ) , System . err ) ; }
constructs an external problem using the specified process .
