org.aspectj/modules/tests/ajde/examples/figures-coverage
