public static String characterToString(char c) {
		String escaped = controlToEscapeStringMap.get(c);
		if (escaped == null) {
			escaped = Character.toString(c);
		}
		return escaped;
	}
Converts the character into a string. If the character is special, it will actually render
the character. For example, given '\n' the output would be "\\n".

@param c the character to convert into a string
@return the converted character
Ghidra/Framework/Generic/src/main/java/ghidra/util/StringUtilities.java