java.util.Random

is imported to:

.   greenfoot