/*
* We use our threaded seed generator to generate a good random
* seed. If the user has a better random seed, he should use
* the constructor with a SecureRandom.
*/
ThreadedSeedGenerator tsg = new ThreadedSeedGenerator();
this.random = new SecureRandom();
/*
* Hopefully, 20 bytes in fast mode are good enough.
*/
this.random.setSeed(tsg.generateSeed(20, true));
this.rs = new RecordStream(this, is, os);
}