cbmc: remove dependency on java_bytecode#2080

peterschrammel merged 1 commit intodevelopdiffblue/cbmc:developfrom

java-bytecode-dependencydiffblue/cbmc:java-bytecode-dependencyCopy head branch name to clipboard