@Override
	public void init() {
		super.init();
		latestPMM = latestPgm.getUsrPropertyManager();
		myPMM = myPgm.getUsrPropertyManager();
		originalPMM = originalPgm.getUsrPropertyManager();
		conflictSet = new AddressSet();
	}
Constructs a user defined properties merger.
@param listingMergeMgr the listing merge manager that owns this merger.
Ghidra/Features/Base/src/main/java/ghidra/app/merge/listing/UserDefinedPropertyMerger.java