/ajde/testdata/examples/figures-coverage/editor/