public long[] getNuovoSemeCoda() throws GeneratoreException {
long[] ret = new long[1];
ret[0] = RAND.getNuovoSeme();
return ret;
}
public void setNuovoSemeCoda(long seme, long semeCodaIniziale) {
RAND.setNuovoSeme(seme, semeCodaIniziale);
}