Don't call `java_array_type('\0')`. Fixes #383#388

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

smowton:fix_java_array_typesmowton/cbmc:fix_java_array_typeCopy head branch name to clipboard