Replace use of deprecated nil_typet in java_type_from_string [blocks: #3800]#3929

tautschnig merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:deprecation-nil_typettautschnig/cbmc:deprecation-nil_typetCopy head branch name to clipboard