org.aspectj/org.aspectj.ajdt.core/testdata/src1/BadHello.java

public class BadHello {
    public static void main(String[] args) {
        new BadHello().m();
    }
    public void m() { return 2; }
}