RFR: 8248862: Implement Enhanced Pseudo-Random Number Generators

Tue Nov 17 21:03:18 UTC 2020

On Tue, 17 Nov 2020 20:15:34 GMT, Erik Joelsson <erikj 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 .
>
> It looks like you have deleted the doc directory. That can't be right?

@erikj79 my local branch seems to have the right sources for doc

@erikj79 https://github.com/JimLaskey/jdk/tree/8248862

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

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