Withdrawn: 8248862: Implement Enhanced Pseudo-Random Number Generators

Wed Nov 18 13:21:11 UTC 2020

On Tue, 17 Nov 2020 19:58:47 GMT, Jim Laskey <jlaskey at openjdk.org> wrote:

> This PR is to introduce a new random number API for the JDK. The primary API is found in RandomGenerator and RandomGeneratorFactory. Further description can be found in the JEP https://openjdk.java.net/jeps/356 .

This pull request has been closed without being integrated.

-------------

PR: https://git.openjdk.java.net/jdk/pull/1273