Parse java arrays in annotations properly#2619

owen-mc-diffblue merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

JohnDumbell:jd/bugfix/java_annotation_array_fixJohnDumbell/cbmc:jd/bugfix/java_annotation_array_fixCopy head branch name to clipboard