public static String filterToName(int type) {
		switch (type) {
			case IGNORE:
				return "IGNORE";
			case REPLACE:
				return "REPLACE";
			case MERGE:
				return "MERGE";
			default:
				return "";
		}
	}
<CODE>filterToName</CODE> returns the string associated with an
individual (primary) merge difference setting.
@param type the type of filter.
Valid types are: IGNORE, REPLACE, MERGE.
@return the string indicating the merge difference setting.
Ghidra/Features/Base/src/main/java/ghidra/program/util/ProgramMergeFilter.java