@Override
public List</* @Time */Double> mandatoryTimes() {
final List</* @Time */Double> times = underlying.mandatoryTimes();
// discard negative times...
final Array array = new FindIf(exerciseTimes, new Bind2ndPredicate(new GreaterEqualPredicate(), 0.0)).op();
// and add the positive ones
for (int i=0; i< array.size(); i++) {
times.add(array.get(i));
}
return times;