/** Resets the random stream of the normal generator to `stream`. */
public void setStream(RandomStream stream) {
gen.setStream(stream);
}
public double[] generatePath(RandomStream stream) {
gen.setStream(stream);
return generatePath();
}