private String getPhaseString(String[] phase) {
		StringBuffer buf = new StringBuffer();
		buf.append(phase[0]);
		for (int i = 1; i < phase.length; i++) {
			buf.append(":" + phase[i]);
		}
		return buf.toString();
	}
Gets a string based on the array for a phase or sub-phase.
This string can then be used to identify the particular phase.
@param phase array which indicates the phase or sub-phase.
@return a string representation for the phase.
Ghidra/Features/Base/src/main/java/ghidra/app/merge/MergeProgressPanel.java