Unescape diff tokens.
String unescapeDiffTokens(String text) { return text.replaceAll('\u0000&', '&').replaceAll('\u0000\$', '\$'); }