Fix mode of java if_exprt not being set#2140

romainbrenguier wants to merge 2 commits intodiffblue:developdiffblue/cbmc:developfrom

romainbrenguier:bugfix/mode-of-java-if-exprromainbrenguier/cbmc:bugfix/mode-of-java-if-exprCopy head branch name to clipboard