@Override
	public void close() throws IOException {
		checkOpen();
		open = false;
		randomAccessFile.close();
		buffer = EMPTY;
		lastbuffer = EMPTY;
	}
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.
Ghidra/Features/Base/src/main/java/ghidra/app/util/bin/GhidraRandomAccessFile.java