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

Tue Feb 16 16:21:43 UTC 2021

On Tue, 16 Feb 2021 15:54:08 GMT, Rémi Forax <github.com+828220+forax at openjdk.org> wrote:

>> The interface method is a default method, so not technically an override.
>
> It's not an override but @Override has a broader semantics than just overriding an existing method.
> Given that it helps to understand that this method is part of a larger algorithm, i think this method should be tagged with @Override

Okay

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

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