Java frontend: treat CProver stubbed methods more like normal stubs#4258

smowton merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/fix/java-fake-stubs-parameter-identifierssmowton/cbmc:smowton/fix/java-fake-stubs-parameter-identifiersCopy head branch name to clipboard