public void delete() {
		propertyMap.dispose();
		invalid = true;
	}
AddressSetPropertyMap that uses a RangeMapDB to maintain a set of addresses.
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/database/util/AddressSetPropertyMapDB.java