public LocalManagedBufferFile openDatabase(int version, int minChangeDataVer, String user)
			throws IOException {
		synchronized (fileSystem) {
			validate();
			repository.validateReadPrivilege(user);
			LocalManagedBufferFile bf = databaseItem.open(version, minChangeDataVer);
			repository.log(getPathname(), "version " +
				(version < 0 ? databaseItem.getCurrentVersion() : version) + " opened read-only",
				user);
			return bf;
		}
	}
Open a specific database version for read-only use.
This method is only valid for an underlying FolderItem of type database.
@param version requested version or -1 for current version
@param minChangeDataVer minimum version to include within change data or -1 if not applicable.
@param user user who initiated the request
@return open BufferFile for read-only use.
@throws UserAccessException if user is denied access
@throws IOException if an IO error occurs
Ghidra/Features/GhidraServer/src/main/java/ghidra/server/store/RepositoryFile.java