Generated by
JDiff

Class java.io.RandomAccessFile

Added interface java.io.Closeable.