[TG-1931] Resolve calls to java.lang.Object functions to more specific ones#1731

mgudemann merged 5 commits intodevelopdiffblue/cbmc:developfrom

bugfix/all_resolved_callsdiffblue/cbmc:bugfix/all_resolved_callsCopy head branch name to clipboard