Update StdRandom.java