Preserve true array type in Java -> GOTO conversion. Fixes #184.#788

peterschrammel merged 1 commit intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

smowton:smowton/fix/preserve_new_array_typesmowton/cbmc:smowton/fix/preserve_new_array_typeCopy head branch name to clipboard