On Tue, 17 Nov 2020 19:58:47 GMT, Jim Laskey <jlas...@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? ------------- PR: https://git.openjdk.java.net/jdk/pull/1273