@xeno-by 
> So the idea is to never emit Scala annotations, right?

Currently, yes.

> Also, isn't isJavaDefived guaranteeing that it's a subclass of ClassfileAnnotation?

Currently yes, but not all `ClassfileAnnotation`s are Java annotations.