Java random

Yes, that is usually the order I use, indeed.