adds java.lang.Class to load queue#638

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

mgudemann:bugfix/load_java_lang_classmgudemann/cbmc:bugfix/load_java_lang_classCopy head branch name to clipboard