Java frontend: create static initialiser support functions earlier#1774

smowton merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/feature/java-create-clinit-state-earliersmowton/cbmc:smowton/feature/java-create-clinit-state-earlierCopy head branch name to clipboard