I guess this is a mistake and it should be java.util.Random instead.