Mimic Java's initialization of EV's random number generator instance.
Mimic Java's initialization of EV's random number generator instance.

[Bug][TLC]

tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus