My expectation that these generators are standard is based on JEP 356 (Enhanced Pseudo-Random Number Generators), which was integrated into Java 17 as a final feature, and its subsequent updates When ...
at org.eclipse.search.tests.filesearch.AnnotationManagerTest.testRemoveQuery(AnnotationManagerTest.java:144) at java.base/jdk.internal.reflect ...