#101 Minor bug in Java5-to-4 transformations

[Tobias Gutzmann]

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() {

}

}