public long length() throws IOException {
		return bfMgr.getBufferFile(getCurrentVersion()).length();
	}
Returns the length of this domain file.  This size is the minimum disk space
used for storing this file, but does not account for additional storage space
used to tracks changes, etc. 
@return file length
@throws IOException thrown if IO or access error occurs
Ghidra/Framework/DB/src/main/java/db/Database.java