Introduce String type for java when string-refinement is activated#491

romainbrenguier wants to merge 4 commits intodiffblue:masterdiffblue/cbmc:masterfrom

romainbrenguier:string-refine-java-bytecoderomainbrenguier/cbmc:string-refine-java-bytecodeCopy head branch name to clipboard