private void checkPreSaveMonitor() {
			if (monitor == null) {
				return;
			}
			if (taskThread.isInterrupted()) {
				monitor.cancel();
			}
			if (monitor.isCancelled()) {
				// interrupt waiting thread but continue pre-save
				monitorThread.interrupt();
				monitor = null;
				monitorThread = null;
			}
			else {
				monitor.setProgress(curIndex);
			}
		}
<code>PreSaveTask</code> facilitates the pre-saving a copy of this buffer 
file for update use by a BufferMgr.
Ghidra/Framework/DB/src/main/java/db/buffers/LocalManagedBufferFile.java