check for java bytecode index in the existing coverage#772

peterschrammel merged 2 commits intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

lucasccordeiro:fix-existing-coveragelucasccordeiro/cbmc:fix-existing-coverageCopy head branch name to clipboard