FORGE-733: API for annotation elements in JavaAnnotation type definitions