Use existing UTF-16 conversion logic in Java test generation, which was previously missing escapes#1592

smowton merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

antlechner:antonia/char-escapeantlechner/cbmc:antonia/char-escapeCopy head branch name to clipboard