private void checkDeletedProperties(Options latestList, Options origList, List<String> myNames,
			List<String> latestNames, List<String> origNames) {

		for (int i = 0; i < latestNames.size(); i++) {
			String propertyName = latestNames.get(i);
			if (!myNames.contains(propertyName) && origNames.contains(propertyName)) {
				try {
					Object latestValue = getValue(latestList, propertyName);
					Object origValue = getValue(origList, propertyName);

					if (latestValue.equals(origValue)) {
						latestList.removeOption(propertyName);
					}
					else {
						String listName = latestList.getName();
						ArrayList<ConflictInfo> mapList = getConflictList(listName);
						mapList.add(new ConflictInfo(listName, propertyName,
							latestList.getType(propertyName), OptionType.NO_TYPE,
							origList.getType(propertyName), latestValue, null, origValue));
						++totalConflictCount;
					}
				}
				catch (IllegalArgumentException e) {
				}
			}
		}
	}
Delete the properties
@param latestList
@param myNames
@param latestNames
@param origNames
Ghidra/Features/Base/src/main/java/ghidra/app/merge/propertylist/PropertyListMergeManager.java