public void saveProperties(ObjectOutputStream oos, Address start, Address end)
			throws IOException {
		propertyMgr.saveProperties(oos, addrMap.getKey(start), addrMap.getKey(end));
	}
Save the properties in the given range to output stream.
@param oos output stream to write to
@param start start address in the range
@param end end address in the range 
@throws IOException if there a problem doing the write
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/model/util/DefaultPropertyMap.java