jrandom property

Random jrandom
getter/setter pair

Implementation

static var jrandom = Random.secure();