Java unwind enum static#460

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

mgudemann:java_unwind_enum_staticmgudemann/cbmc:java_unwind_enum_staticCopy head branch name to clipboard