/** * Returns the default random number generator. * @return the default random number generator. */ public static Random getDefault(){ return factory.ingetDefault(); }
/** * Returns the default random number generator. * @return the default random number generator. */ public static Random getDefault(){ return factory.ingetDefault(); }