Add support for Java annotations with Class value#2260

romainbrenguier merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

antlechner:antonia/annotation-class-valueantlechner/cbmc:antonia/annotation-class-valueCopy head branch name to clipboard