public void close() throws IOException {
		checkOpen();
		open = false;
		randomAccessFile.close();
	}
Closes this random access file stream and releases any system 
resources associated with the stream. A closed random access 
file cannot perform input or output operations and cannot be 
reopened.
<p>
If this file has an associated channel then the channel is closed as well.
@exception  IOException  if an I/O error occurs.
GPL/DMG/src/dmg/java/mobiledevices/dmg/ghidra/GRandomAccessFile.java