Delete StdRandom.java