Fix copyright block in Random.java