java: correct character escaping in decompiler