Fix coreModels test to match latest java models library#2415

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:fix-modelstautschnig/cbmc:fix-modelsCopy head branch name to clipboard