private Object getValue(Options options, String propertyName) {
		OptionType type = options.getType(propertyName);
		switch (type) {
			case BOOLEAN_TYPE:
				return options.getBoolean(propertyName, false) ? Boolean.TRUE : Boolean.FALSE;

			case DOUBLE_TYPE:
				return Double.valueOf(options.getDouble(propertyName, 0d));

			case INT_TYPE:
				return Integer.valueOf(options.getInt(propertyName, 0));

			case LONG_TYPE:
				return Long.valueOf(options.getLong(propertyName, 0L));

			case NO_TYPE:
				return null;

			case STRING_TYPE:
				return options.getString(propertyName, (String) null);

			case DATE_TYPE:
				return options.getDate(propertyName, (Date) null);

			default:
				return null;
		}
	}
The property was not in the latest program; if the value changed
from the original, set the value in the result program.
@param myList property list from source program
@param resultList property list from result program
@param origList property list from the original checked out program
@param propertyName name of the property
Ghidra/Features/Base/src/main/java/ghidra/app/merge/propertylist/PropertyListMergeManager.java