Use submodule to download java-models-library#2426

peterschrammel merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

peterschrammel:java-models-library-submodulepeterschrammel/cbmc:java-models-library-submoduleCopy head branch name to clipboard