On Fri, 28 Jan 2022 00:36:57 GMT, Yasser Bazzi <[email protected]> wrote:
>> Suggest:
>>
>>> Returns an instance of {@link java.util.Random} based on this {@code
>>> RandomGenerator}.
>>> If this generator is already an instance of {@code Random}, it is returned.
>>> Otherwise, this method
>>> returns an instance of {@code Random} that delegates all methods except
>>> `setSeed` to this
>>> generator. Its `setSeed` method always throws {@link
>>> UnsupportedOperationException}.
>>
>> (Note no link is necessary for RandomGenerator since we are in that class
>> already.)
>
> Commited the change on df78e05e3e692e2189c9d318fbd4892a4b96a55f
Will we gradually phase out the `Random` class? If yes, we should put this
conversion method in `Random` so that we don't break the newer API shall
`Random` be retired.
-------------
PR: https://git.openjdk.java.net/jdk/pull/7001
