Java bytecode front-end: do not crash upon invalid class names#8764

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:fix-728-jbmc-core-dumptautschnig/cbmc:fix-728-jbmc-core-dumpCopy head branch name to clipboard