Default Java random source to /dev/urandom.
Justification:
- https://tersesystems.com/2015/12/17/the-right-way-to-use-securerandom/
- https://www.2uo.de/myths-about-urandom/
In short, the only meaningful difference is the blocking behavior of /dev/random, which is a liability for Java server applications that need random data.