Graphical Editing Framework (GEF) project repository (gef4)