Move remaining java tests to jbmc/regression#2228

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

peterschrammel:move-remaining-java-testspeterschrammel/cbmc:move-remaining-java-testsCopy head branch name to clipboard