The following code causes a IndexOutOfBoundsException during the transformation process (Don't mind that some methods are not implemented from java.lang.annotation.Annotation, Recoder doesn't check it anyway):
@interface X {
int foo() default 5;
}
class Y implements X {
public int foo() {
}
}