rand property

Random rand
final

Random number generator used to create session IDs among other things.

Implementation

static final Random rand = new Random();