Use string_split in set_classpath#1775

romainbrenguier merged 1 commit intodevelopdiffblue/cbmc:developfrom

refactor/set_classpathdiffblue/cbmc:refactor/set_classpathCopy head branch name to clipboard