Java bytecode front-end: fix main method detection#8763

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

tautschnig:fix-759-ambiguous-maintautschnig/cbmc:fix-759-ambiguous-mainCopy head branch name to clipboard