added StdRandom.java