[Colossus-developers] Random changes

[<tj...@in...>]

Hi there,

After re-subscribing, I notice we have a lot more activity these days. Nice to see :)

Here's a patch I had lying around which moves us over to using SecureRandom
library, rather than our own DevRandom.
Unless, of course, there is some really good reason to keep DevRandom.

Regards

Tim