public final class Randomizer
extends Object
The rules of the benchmark frequently require randomly generated numbers
in the range from 1 to 10000.
Often multiple numbers are needed, and in this case we need to avoid duplicates
because otherwise the ORM optimisations will invalidate our operations
(Hibernate ORM will skip unnecessary operations but this is specifically disallowed,
and it's not possible to disable this behaviour in ORM as it's an intrinsic
aspect of correctness of an ORM).
Because of this twist in the rules, we're better off writing a custom helper
than making vanilla use of the Java platform randomizer.