On Wed, 25 Nov 2020 15:43:39 GMT, Jim Laskey <jlas...@openjdk.org> wrote:
>> will investigate > > Needed to use ThreadLocalRandomProxy.proxy otherwise a cast would be required. yes, right ! ------------- PR: https://git.openjdk.java.net/jdk/pull/1292