Switch to stateless Java string escaping#550

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

smowton:better_java_string_uniquingsmowton/cbmc:better_java_string_uniquingCopy head branch name to clipboard