Fixed Bug 2037. The random number generator is now properly initialized.
The debug parameters "Random Number Generator" and "Seed" are automatically
removed in a release version to avoid confusion.