some support for classfile annotations