Java random

Ouch.... I'll only change that if you find a test case which actually hits that thing :P