Java random

`>>>` instead of `>>`, says the JavaDoc.