Test javaRandom.mt