Allow callers of load_java_class to pass the name of the main function#1699

smowton merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

NathanJPhillips:feature/reset-main-in-testsNathanJPhillips/cbmc:feature/reset-main-in-testsCopy head branch name to clipboard