Created utility function for loading a class file#1431

thk123 merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

thk123:feature/java-load-class-utilitythk123/cbmc:feature/java-load-class-utilityCopy head branch name to clipboard