Java random

Oh oh! Must be `js.Math.random()`! Otherwise this thing enters an infinite recursion, because `Math.random()` uses a `java.util.Random` created without seed, so with a random seed, which is created with `randomInt()`, which calls `Math.random()`...