private void merge(String propName, Address addr, int mergeConflictOption) {
		if ((mergeConflictOption & KEEP_ORIGINAL) != 0) {
			listingMergeMgr.mergeOriginal.mergeUserProperty(propName, addr);
		}
		else if ((mergeConflictOption & KEEP_LATEST) != 0) {
			listingMergeMgr.mergeLatest.mergeUserProperty(propName, addr);
		}
		else if ((mergeConflictOption & KEEP_MY) != 0) {
			listingMergeMgr.mergeMy.mergeUserProperty(propName, addr);
		}
	}
Merges from the property at the indicated address into the result program 
from the program (latest, my, or original) based on the conflict option.
@param propName the name of the property to merge.
@param addr the address wheree the property is to be merged.
@param mergeConflictOption the conflict option indicating which program 
to merge from. (KEEP_ORIGINAL, KEEP_LATEST, or KEEP_MY)
Ghidra/Features/Base/src/main/java/ghidra/app/merge/listing/UserDefinedPropertyMerger.java