/tests/ajde/examples/figures-coverage/editor/