Adding getDefault() and getDefaultFactory() to RandomGenerator to simplify the fetching of a random number generator.