Java frontend: create String and Class literals earlier#1766

smowton merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/feature/java-frontend-create-literal-globals-earlysmowton/cbmc:smowton/feature/java-frontend-create-literal-globals-earlyCopy head branch name to clipboard