Java checkcast: fix stack when check disabled#598

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

smowton:sss_checkcastsmowton/cbmc:sss_checkcastCopy head branch name to clipboard