/** @param exitValue The exit value */
 public InvalidExitValueException(ProcessResult result, Collection<Integer> allowedExitValues) {
   super(
       "Unexpected exit value: "
           + result.exitValue()
           + ", allowed exit values: "
           + allowedExitValues);
   this.result = result;
 }
 /** @return the exit value of the finished process. */
 public int exitValue() {
   return result.exitValue();
 }