synchronized void dispose() {
		if (rangeMap != null) {
			rangeMap.dispose();
			rangeMap = null;
		}
	}
Permanently dispose map and all resource data
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/database/oldfunction/OldFunctionMapDB.java