random top-level property

Random random
final

Implementation

final Random random = Random();