/ajde/testdata/figures-coverage/editor/