jrandom property

Random jrandom
getter/setter pair

Implementation

static Random jrandom = Random.secure();