On Wed, 25 Nov 2020 15:43:39 GMT, Jim Laskey <jlaskey at 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