216217218219220221222223224225226
} long elapsed = getElapsed(); if (timeout != NO_TIMEOUT && elapsed > timeout) { throw new TimeoutException("Running time of "+name+" exceeded timeout of "+timeout); } if (parent != null) parent.check(); }