private String decodeString(String text) {
		if (text == null) {
			return "";
		}
		StringBuffer buf = new StringBuffer();
		boolean controlChar = false;
		for (int i = 0; i < text.length(); i++) {
			char next = text.charAt(i);
			if (next == '\\') {
				controlChar = true;
			}
			else if (controlChar) {
				switch (next) {
					case 'n':
						buf.append('\n');
						break;
					case 'r':
						buf.append('\r');
						break;
					case 's':
						buf.append(';');
						break;
					default:
						buf.append(next);
				}
				controlChar = false;
			}
			else {
				buf.append(next);
			}
		}
		return buf.toString();
	}
Decode an escaped string.
@param text string containing escaped characters.
@return decoded string
Ghidra/Framework/FileSystem/src/main/java/ghidra/framework/store/local/HistoryManager.java