Revert "TG-374 Feature/java support generics"#1411

thk123 merged 1 commit intodevelopdiffblue/cbmc:developfrom

revert-1322-feature/java_support_genericsdiffblue/cbmc:revert-1322-feature/java_support_genericsCopy head branch name to clipboard