public AnnotationRef newAnnotationRef(Annotation a) { AnnotationRef res=of.createAnnotationRef(); res.setRef(a); return res; }
public AnnotationRef newAnnotationRef(Annotation a) { AnnotationRef res=of.createAnnotationRef(); res.setRef(a); return res; }