org.aspectj/modules/ajde/testdata/bug-40943
