The Graph Editor of EdGen, A Tool to Aid the Automated Construction of Customized Graph Editors