public void dispose() {
		synchronized (dbHandle) {
			if (rangeTable != null) {
				try {
					dbHandle.deleteTable(rangeTable.getName());
					dbHandle.deleteTable(mapTable.getName());
				}
				catch (IOException e) {
					errHandler.dbError(e);
				}
				rangeTable = null;
				mapTable = null;
			}
		}
	}
Frees resources used by this map.
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/database/util/SharedRangeMapDB.java