The Graphical Editing Framework API Specification