@Test
	public void testTypeMismatchAskTheUserOpt1() throws Exception {
		// test case 9: types do not match for the same property name
		//              "int" in the latest version,
		//              "string" in the private version
		mtf.initialize("notepad", new ProgramModifierListener() {

			@Override
			public void modifyLatest(ProgramDB program) {
				Options list = program.getOptions("Colors");
				list.setInt("Background", 5);
			}

			@Override
			public void modifyPrivate(ProgramDB program) {
				Options list = program.getOptions("Colors");
				list.setString("Background", "Green");
			}
		});

		merge();

		selectButtonAndApply(MergeConstants.LATEST_TITLE);

		Options list = resultProgram.getOptions("Colors");
		assertEquals(5, list.getInt("Background", 0));
	}
Tests for the conflict panel in the property list merge manager.
Ghidra/Features/Base/src/test.slow/java/ghidra/app/merge/propertylist/PropertyListMergeManager2Test.java