+ eclipse/gef (graphical editing framework)