private void dump(ProcessResponse pInfo, PrintStream out) {
   out.println("State of process " + pInfo.getProcessLocation() + " (id=" + pInfo.getId() + ")");
   out.println("  Started:   " + pInfo.getStartTime());
   if (pInfo.getCompletionTime() != null) {
     out.println("  Completed: " + pInfo.getCompletionTime());
   }
   out.println("  State:     " + pInfo.getState());
   if (pInfo.getException() != null) {
     out.println("  Exception: " + pInfo.getException());
   }
   final ProcessStackTrace trace = pInfo.getTrace();
   if (trace != null) {
     out.println("  Trace:");
     for (ProcessStackTraceElement ste : trace.getElements()) {
       System.out.println(
           "     "
               + ste.getOperatorName()
               + " ("
               + ste.getApplyCount()
               + ", "
               + Tools.formatDuration(ste.getExecutionTime())
               + ")");
     }
   }
 }