On Tue, 16 Feb 2021 14:03:56 GMT, Jim Laskey <jlas...@openjdk.org> wrote:
>> src/java.base/share/classes/jdk/internal/util/random/RandomSupport.java line
>> 1548:
>>
>>> 1546: * @return a stream of (pseudo)randomly chosen {@code int}
>>> values
>>> 1547: */
>>> 1548:
>>
>> Is `@Override` intentionally omitted?
>
> 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
-------------
PR: https://git.openjdk.java.net/jdk/pull/1292
