Trace t = s.getTrace(stateId);
if (t != null) {
return t;
}
}
<BUG>throw new RuntimeException(
</BUG>
"Was not able to produce a valid trace to the state specified by predicate: "
+ predicate.getCode() + " Result type was: " + result);
}

Trace t = s.getTrace(stateId);
if (t != null) {
return t;
}
}
throw new NoStateFoundException(
"Was not able to produce a valid trace to the state specified by predicate: "
+ predicate.getCode() + " Result type was: " + result);
