Additional functions for processing Java annotations#2247

romainbrenguier merged 4 commits intodiffblue:developdiffblue/cbmc:developfrom

antlechner:antonia/annotation-conversionantlechner/cbmc:antonia/annotation-conversionCopy head branch name to clipboard