removal of rand.java