TG-374 Feature/java support generics#1322

mgudemann merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

mgudemann:feature/java_support_genericsmgudemann/cbmc:feature/java_support_genericsCopy head branch name to clipboard