Java random

Make this one the primary constructor, then. Otherwise the initialization of `seed` unnecessarily creates a random seed.