PRNG Fix

incorporated the PRNG Fix for a bug in the Android Java random number
generator (see:
http://android-developers.blogspot.co.uk/2013/08/some-securerandom-thoug
hts.html)