Java bytecode front-end: fix static field is_static_lifetime flag#8762

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

tautschnig:fix-851-statictautschnig/cbmc:fix-851-staticCopy head branch name to clipboard