PRNG fixes for Jellybean
Merge pull request #382 from bhariharan/master

PRNG fixes for Jellybean