Lazy methods: mark JVM-generated exceptions as always available#1467

antlechner wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/fix/ci_lazy_methods_exception_typessmowton/cbmc:smowton/fix/ci_lazy_methods_exception_typesCopy head branch name to clipboard