Before:
// © 2021 char c = '©'; String s = "Áî";
After:
// © 2021 char c = '\u00a9'; String s = "\u00c1\u00ee";