Added implementation of java.util.Random.