read ACC_ABSTRACT attribute in Java class files#492

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

mgudemann:java_parse_abstract_class_attributemgudemann/cbmc:java_parse_abstract_class_attributeCopy head branch name to clipboard