factor out jar pool class#2765

kroening merged 2 commits intodevelopdiffblue/cbmc:developfrom

jar_pooldiffblue/cbmc:jar_poolCopy head branch name to clipboard