java.io.RandomAccessFile

is imported to:

.   greenfoot.vmcomm