Added java.util.Random, and some tests