RFR: 8248862: Implement Enhanced Pseudo-Random Number Generators [v3]

[Jim Laskey]

> 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 .

Jim Laskey has updated the pull request with a new target base due to a merge or a rebase. The pull request now contains 40 commits:

 - Merge branch 'master' into 8248862
 - 8248862: Implement Enhanced Pseudo-Random Number Generators
   
   Update package-info.java
 - 8248862: Implement Enhanced Pseudo-Random Number Generators
   
   Updated RandomGeneratorFactory javadoc.
 - 8248862: Implement Enhanced Pseudo-Random Number Generators
   
   Updated documentation for RandomGeneratorFactory.
 - Merge branch 'master' into 8248862
 - Merge branch 'master' into 8248862
 - 8248862: Implement Enhanced Pseudo-Random Number Generators
   
   Move RandomGeneratorProperty
 - Merge branch 'master' into 8248862
 - 8248862: Implement Enhanced Pseudo-Random Number Generators
   
   Clear up javadoc
 - 8248862; Implement Enhanced Pseudo-Random Number Generators
   
   remove RandomGeneratorProperty from API
 - ... and 30 more: https://git.openjdk.java.net/jdk/compare/f7517386...6fe94c68

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

Changes: https://git.openjdk.java.net/jdk/pull/1273/files
 Webrev: https://webrevs.openjdk.java.net/?repo=jdk&pr=1273&range=02
  Stats: 14891 lines in 31 files changed: 11110 ins; 3704 del; 77 mod
  Patch: https://git.openjdk.java.net/jdk/pull/1273.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk pull/1273/head:pull/1273

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