factor out classpath functionality into separate class#2839

kroening merged 1 commit intodevelopdiffblue/cbmc:developfrom

java_class_loader_basediffblue/cbmc:java_class_loader_baseCopy head branch name to clipboard