@Override
	public synchronized void setMaximum(long max) {
		if (origMax == null) {
			origMax = super.getMaximum();
		}
		super.setMaximum(max);
	}
A {@link TaskMonitor} wrapper that restores all changed values of the wrapped TaskMonitor when
the wrapper is {@link #close() closed}.
Ghidra/Framework/Generic/src/main/java/ghidra/util/task/PreserveStateWrappingTaskMonitor.java