JavaFrontend.JAnnotationval translate_item :
(Javalib_pack.JBasics.annotation * Javalib_pack.Javalib.visibility) list ->
IR.Annot.Item.tTranslate an item annotation.
val translate_method :
Javalib_pack.Javalib.method_annotations ->
IR.Annot.Item.t * IR.Annot.Item.t listTranslate annotations for a method.