random top-level property

Random random
final

random number generator

Implementation

final Random random = Random();